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

Interpreted (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

Methods

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

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

Completable (Writer e) (State e)

Defined in Control.Joint.Effects.State

Methods

complete :: Writer e ~> State e

type Schema (Writer e)

Defined in Control.Joint.Effects.Writer

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

type Primary (Writer e) a

Defined in Control.Joint.Effects.Writer

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

type Accumulated e t = Adaptable (Writer e) t

add :: Accumulated e t => 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