bluefin-internal-0.10.0.0: The Bluefin effect system, internals
Safe HaskellSafe-Inferred
LanguageHaskell2010

Bluefin.Internal.Prim

Documentation

data Prim e1 e2 Source #

Constructors

UnsafeMkPrim 

Instances

Instances details
e2 <: es => OneWayCoercible (Prim e1 e2 :: Type) (Prim e1 es :: Type) Source # 
Instance details

Defined in Bluefin.Internal.Prim

Methods

oneWayCoercibleImpl :: OneWayCoercibleD (Prim e1 e2) (Prim e1 es) Source #

Handle (Prim e1) Source # 
Instance details

Defined in Bluefin.Internal.Prim

Methods

handleImpl :: HandleD (Prim e1) Source #

data PrimStateEff (es :: Effects) Source #

runPrim Source #

Arguments

:: (forall e. Prim e 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 e2 es a. e2 <: es 
=> Prim e1 e2 
-> (State# (PrimStateEff e1) -> (# State# (PrimStateEff e1), a #)) 
-> Eff es a

͘