bluefin-internal-0.8.0.0: The Bluefin effect system, internals
Safe HaskellSafe-Inferred
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 e. Prim e -> Eff (e :& es) r) 
-> Eff es r

͘

type StateM s a = State# s -> (# State# s, a #) Source #

unsafeCoerceStateM :: forall s1 s2 a. StateM s1 a -> StateM s2 a Source #

primitive Source #

Arguments

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

͘