Control.Joint.Effects.Writer

Documentation

newtype Writer e a

Constructors

Writer (e, a)

Instances

Monoid e => Monad (Writer e)

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)

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)

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

Composition (Writer e)

Defined in Control.Joint.Effects.Writer

Associated Types

type Primary (Writer e) a :: Type

Methods

run :: Writer e a -> Primary (Writer e) a

Monoid e => Transformer (Writer e)

Defined in Control.Joint.Effects.Writer

Associated Types

type Schema (Writer e) u = (r :: Type -> Type)

Methods

embed :: Functor u => u ~> (Writer e :> u)

build :: Applicative u => Writer e ~> (Writer e :> u)

unite :: Primary (Schema (Writer e) u) a -> (Writer e :> u) a

Adaptable (Writer e) (State e)

Defined in Control.Joint.Effects.State

Methods

adapt :: Writer e ~> State e

type Primary (Writer e) a

Defined in Control.Joint.Effects.Writer

type Primary (Writer e) a = (e, a)

type Schema (Writer e) u

Defined in Control.Joint.Effects.Writer

type Schema (Writer e) u = UT ((,) e) u

put :: e -> Writer e ()

type Accumulated e t = Liftable (Writer e) t

Orphan instances

(Monoid e, Applicative u, Monad u) => Monad (UT ((,) e) u)

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)

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)

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