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

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

Methods

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

Monoid e => Transformer (Writer e)

Defined in Control.Joint.Effects.Writer

Methods

build :: forall (u :: Type -> Type). Applicative u => Writer e ~> (Writer e :> u)

unite :: forall (u :: Type -> Type) a. 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 ((,) e <.:> u)

Methods

(>>=) :: ((,) e <.:> u) a -> (a -> ((,) e <.:> u) b) -> ((,) e <.:> u) b

(>>) :: ((,) e <.:> u) a -> ((,) e <.:> u) b -> ((,) e <.:> u) b

return :: a -> ((,) e <.:> u) a

Functor u => Functor ((,) e <.:> u)

Methods

fmap :: (a -> b) -> ((,) e <.:> u) a -> ((,) e <.:> u) b

(<$) :: a -> ((,) e <.:> u) b -> ((,) e <.:> u) a

(Monoid e, Applicative u) => Applicative ((,) e <.:> u)

Methods

pure :: a -> ((,) e <.:> u) a

(<*>) :: ((,) e <.:> u) (a -> b) -> ((,) e <.:> u) a -> ((,) e <.:> u) b

liftA2 :: (a -> b -> c) -> ((,) e <.:> u) a -> ((,) e <.:> u) b -> ((,) e <.:> u) c

(*>) :: ((,) e <.:> u) a -> ((,) e <.:> u) b -> ((,) e <.:> u) b

(<*) :: ((,) e <.:> u) a -> ((,) e <.:> u) b -> ((,) e <.:> u) a

(Monoid e, Alternative u) => Alternative ((,) e <.:> u)

Methods

empty :: ((,) e <.:> u) a

(<|>) :: ((,) e <.:> u) a -> ((,) e <.:> u) a -> ((,) e <.:> u) a

some :: ((,) e <.:> u) a -> ((,) e <.:> u) [a]

many :: ((,) e <.:> u) a -> ((,) e <.:> u) [a]