Control.Effect.Pure

Documentation

data Pure (m :: * -> *) k

Instances

Effect Pure

Defined in Control.Effect.Pure

Methods

handle :: Functor f => f () -> (forall x. f (m x) -> n (f x)) -> Pure m (m a) -> Pure n (n (f a))

HFunctor Pure

Defined in Control.Effect.Pure

Methods

fmap' :: (a -> b) -> Pure m a -> Pure m b

hmap :: (forall x. m x -> n x) -> Pure m a -> Pure n a

Carrier Pure PureC

Defined in Control.Effect.Pure

Methods

eff :: Pure PureC (PureC a) -> PureC a

Functor (Pure m)

Defined in Control.Effect.Pure

Methods

fmap :: (a -> b) -> Pure m a -> Pure m b

(<$) :: a -> Pure m b -> Pure m a

run :: PureC a -> a

Run an action exhausted of effects to produce its final result value.

newtype PureC a

Constructors

PureC

Fields

• runPureC :: a

Instances

Monad PureC

Defined in Control.Effect.Pure

Methods

(>>=) :: PureC a -> (a -> PureC b) -> PureC b

(>>) :: PureC a -> PureC b -> PureC b

return :: a -> PureC a

fail :: String -> PureC a

Functor PureC

Defined in Control.Effect.Pure

Methods

fmap :: (a -> b) -> PureC a -> PureC b

(<$) :: a -> PureC b -> PureC a

Applicative PureC

Defined in Control.Effect.Pure

Methods

pure :: a -> PureC a

(<*>) :: PureC (a -> b) -> PureC a -> PureC b

liftA2 :: (a -> b -> c) -> PureC a -> PureC b -> PureC c

(*>) :: PureC a -> PureC b -> PureC b

(<*) :: PureC a -> PureC b -> PureC a

Carrier Pure PureC

Defined in Control.Effect.Pure

Methods

eff :: Pure PureC (PureC a) -> PureC a