Safe Haskell	Safe
Language	Haskell2010

Control.Joint.Effects.Writer

Contents

Orphan instances

Documentation

newtype Writer e a Source #

Constructors

Writer (e, a)

Instances

Monoid e => Monad (Writer e) Source #
Instance details Defined in Control.Joint.Effects.Writer Methods (>>=) :: Writer e a -> (a -> Writer e b) -> Writer e b # (>>) :: Writer e a -> Writer e b -> Writer e b # return :: a -> Writer e a # fail :: String -> Writer e a #
Functor (Writer e) Source #
Instance details Defined in Control.Joint.Effects.Writer Methods fmap :: (a -> b) -> Writer e a -> Writer e b # (<$) :: a -> Writer e b -> Writer e a #
Monoid e => Applicative (Writer e) Source #
Instance details Defined in Control.Joint.Effects.Writer Methods pure :: a -> Writer e a # (<>) :: Writer e (a -> b) -> Writer e a -> Writer e b # liftA2 :: (a -> b -> c) -> Writer e a -> Writer e b -> Writer e c # (>) :: Writer e a -> Writer e b -> Writer e b # (<*) :: Writer e a -> Writer e b -> Writer e a #
Interpreted (Writer e) Source #
Instance details Defined in Control.Joint.Effects.Writer Associated Types type Primary (Writer e) a :: Type Source # Methods run :: Writer e a -> Primary (Writer e) a Source #
Monoid e => Transformer (Writer e) Source #
Instance details Defined in Control.Joint.Effects.Writer Associated Types type Schema (Writer e) = (r :: (Type -> Type) -> Type -> Type) Source # Methods embed :: Functor u => u ~> (Writer e :> u) Source # build :: Applicative u => Writer e ~> (Writer e :> u) Source # unite :: Primary (Schema (Writer e) u) a -> (Writer e :> u) a Source #
Adaptable (Writer e) (State e) Source #
Instance details Defined in Control.Joint.Effects.State Methods adapt :: Writer e ~> State e Source #
type Schema (Writer e) Source #
Instance details Defined in Control.Joint.Effects.Writer type Schema (Writer e) = UT ((,) e)
type Primary (Writer e) a Source #
Instance details Defined in Control.Joint.Effects.Writer type Primary (Writer e) a = (e, a)

type Accumulated e t = Liftable (Writer e) t Source #

add :: Accumulated e t => e -> t () Source #

Orphan instances

(Monoid e, Applicative u, Monad u) => Monad (UT ((,) e) u) Source #
Instance details Methods (>>=) :: UT ((,) e) u a -> (a -> UT ((,) e) u b) -> UT ((,) e) u b # (>>) :: UT ((,) e) u a -> UT ((,) e) u b -> UT ((,) e) u b # return :: a -> UT ((,) e) u a # fail :: String -> UT ((,) e) u a #
Functor u => Functor (UT ((,) e) u) Source #
Instance details Methods fmap :: (a -> b) -> UT ((,) e) u a -> UT ((,) e) u b # (<$) :: a -> UT ((,) e) u b -> UT ((,) e) u a #
(Monoid e, Applicative u) => Applicative (UT ((,) e) u) Source #
Instance details Methods pure :: a -> UT ((,) e) u a # (<>) :: UT ((,) e) u (a -> b) -> UT ((,) e) u a -> UT ((,) e) u b # liftA2 :: (a -> b -> c) -> UT ((,) e) u a -> UT ((,) e) u b -> UT ((,) e) u c # (>) :: UT ((,) e) u a -> UT ((,) e) u b -> UT ((,) e) u b # (<*) :: UT ((,) e) u a -> UT ((,) e) u b -> UT ((,) e) u a #