bluefin-internal-0.5.0.0: The Bluefin effect system, internals
Safe HaskellNone
LanguageHaskell2010

Bluefin.Internal.Prim

Documentation

data Prim (e :: Effects) Source #

Constructors

UnsafeMkPrim 

Instances

Instances details
Handle Prim Source # 
Instance details

Defined in Bluefin.Internal.Prim

Methods

handleImpl :: HandleD Prim Source #

e :> es => OneWayCoercible (Prim e :: Type) (Prim es :: Type) Source # 
Instance details

Defined in Bluefin.Internal.Prim

Methods

oneWayCoercibleImpl :: OneWayCoercibleD (Prim e) (Prim es) Source #

data PrimStateEff (es :: Effects) Source #

runPrim Source #

Arguments

:: forall (es :: Effects) r. (forall (e :: Effects). Prim e -> Eff (e :& es) r) 
-> Eff es r

͘

primitive Source #

Arguments

:: forall (e1 :: Effects) (es :: Effects) a. e1 :> es 
=> Prim e1 
-> (State# (PrimStateEff e1) -> (# State# (PrimStateEff e1), a #)) 
-> Eff es a

͘