Module

Rave

Package: purescript-rave
Repository: reactormonk/purescript-rave

#Rave Source

newtype Rave r v a

Short for "Reader, Aff, Variant."

Constructors

Rave (ReaderT r (ExceptV v Aff) a)

Instances

MonadAff (Rave r v)
MonadEffect (Rave r v)
Monad (Rave r v)
Applicative (Rave r v)
Apply (Rave r v)
Functor (Rave r v)
Bind (Rave r v)
MonadThrow (Variant v) (Rave r v)

#VariantInjTagged Source

class VariantInjTagged a b | a -> b where

Members

injTagged :: Record a -> Variant b

Instances

(RowToList r1 (Cons sym a Nil), Cons sym a () r1, Cons sym a rx r2, IsSymbol sym) => VariantInjTagged r1 r2

#throw Source

throw :: forall a r2 r1 m. VariantInjTagged r1 r2 => MonadThrow (Variant r2) m => Record r1 -> m a

#runRave Source

runRave :: forall a rl r v. RowToList v rl => VariantTags rl => VariantShows rl => RProxy v -> Rave r v a -> r -> Aff a

#liftRave Source

liftRave :: forall r a m. MonadError Error m => m a -> ExceptV (liftedError :: Error | r) m a

#liftAffV Source

liftAffV :: forall a m r. MonadAff m => Aff a -> ExceptV (liftedError :: Error | r) m a

Modules: Rave