Safe Haskell	None
Language	Haskell2010

Control.Monad.Yaftee.Writer

Contents

Synopsis

type W w = Named "" w
tell :: forall w (effs :: [(Type -> Type -> Type -> Type) -> Type -> Type -> Type -> Type]) i o. Member (W w) effs => w -> E effs i o ()
run :: forall w (effs :: [HT]) i o a. (Monoid w, Loose (U effs)) => E (W w ': effs) i o a -> E effs i o (a, w)
type Named (nm :: Symbol) w = FromFirst (Named_ nm w)
tellN :: forall w (effs :: [(Type -> Type -> Type -> Type) -> Type -> Type -> Type -> Type]) i o. forall (nm :: Symbol) -> Member (Named nm w) effs => w -> E effs i o ()
runN :: forall (nm :: Symbol) w (effs :: [HT]) i o a. (Monoid w, Loose (U effs)) => E (Named nm w ': effs) i o a -> E effs i o (a, w)

NORMAL

type W w = Named "" w Source #

tell :: forall w (effs :: [(Type -> Type -> Type -> Type) -> Type -> Type -> Type -> Type]) i o. Member (W w) effs => w -> E effs i o () Source #

run :: forall w (effs :: [HT]) i o a. (Monoid w, Loose (U effs)) => E (W w ': effs) i o a -> E effs i o (a, w) Source #

NAMED

type Named (nm :: Symbol) w = FromFirst (Named_ nm w) Source #

tellN :: forall w (effs :: [(Type -> Type -> Type -> Type) -> Type -> Type -> Type -> Type]) i o. forall (nm :: Symbol) -> Member (Named nm w) effs => w -> E effs i o () Source #

runN :: forall (nm :: Symbol) w (effs :: [HT]) i o a. (Monoid w, Loose (U effs)) => E (Named nm w ': effs) i o a -> E effs i o (a, w) Source #