Module

Rave

#Rave 

newtype Rave r v a

Short for "Reader, Aff, Variant."

Constructors

Instances

#VariantInjTagged 

class VariantInjTagged a b | a -> b where

Members

Instances

#throw 

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

#runRave 

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

#liftRave 

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

#liftAffV 

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

Modules