Paxl.Monad

newtype GenPaxl req a

Constructors

• GenPaxl (Env req -> Aff (GenPaxlEffects req ()) (Result req a))

Instances

• Functor (GenPaxl req)
• Apply (GenPaxl req)
• Applicative (GenPaxl req)
• Bind (GenPaxl req)
• Monad (GenPaxl req)

type Env req = { fetcher :: forall a. Array (BlockedFetch req a) -> ParAff (GenPaxlEffects req ()) Unit, pending :: Ref (List (BlockedFetch req Val)), requestStore :: RequestStore req Val }

data Val

data Result req a

Constructors

• Done a
• Throw Error
• Blocked (Cont req a)

data Cont req a

Constructors

• Cont (GenPaxl req a)
• Bind (Cont req Val) (Val -> GenPaxl req a)
• Fmap (Val -> a) (Cont req Val)

toPaxl :: forall a req. Cont req a -> GenPaxl req a