Data.Effect

Documentation

type SigClass = (Type -> Type) -> Type -> Type

A kind of signature class (a datatype of higher-order effect).

type InsClass = Type -> Type

A kind of instruction class (a datatype of first-order effect).

newtype LiftIns (ins :: InsClass) (f :: Type -> Type) a

Lift an instruction class to a signature class.

Come from heft-lang/POPL2023/haskell/src/Elab.hs.

Constructors

LiftIns

Fields

• unliftIns :: ins a

Instances

HFunctor (LiftIns ins)

Defined in Data.Effect

Methods

hfmap :: forall (f :: Type -> Type) (g :: Type -> Type). (f :-> g) -> LiftIns ins f :-> LiftIns ins g

SendIns ins f => SendSig (LiftIns ins) f

Defined in Control.Effect

Methods

sendSig :: LiftIns ins f a -> f a

Foldable ins => Foldable (LiftIns ins f)

Defined in Data.Effect

Methods

fold :: Monoid m => LiftIns ins f m -> m

foldMap :: Monoid m => (a -> m) -> LiftIns ins f a -> m

foldMap' :: Monoid m => (a -> m) -> LiftIns ins f a -> m

foldr :: (a -> b -> b) -> b -> LiftIns ins f a -> b

foldr' :: (a -> b -> b) -> b -> LiftIns ins f a -> b

foldl :: (b -> a -> b) -> b -> LiftIns ins f a -> b

foldl' :: (b -> a -> b) -> b -> LiftIns ins f a -> b

foldr1 :: (a -> a -> a) -> LiftIns ins f a -> a

foldl1 :: (a -> a -> a) -> LiftIns ins f a -> a

toList :: LiftIns ins f a -> [a]

null :: LiftIns ins f a -> Bool

length :: LiftIns ins f a -> Int

elem :: Eq a => a -> LiftIns ins f a -> Bool

maximum :: Ord a => LiftIns ins f a -> a

minimum :: Ord a => LiftIns ins f a -> a

sum :: Num a => LiftIns ins f a -> a

product :: Num a => LiftIns ins f a -> a

Traversable ins => Traversable (LiftIns ins f)

Defined in Data.Effect

Methods

traverse :: Applicative f0 => (a -> f0 b) -> LiftIns ins f a -> f0 (LiftIns ins f b)

sequenceA :: Applicative f0 => LiftIns ins f (f0 a) -> f0 (LiftIns ins f a)

mapM :: Monad m => (a -> m b) -> LiftIns ins f a -> m (LiftIns ins f b)

sequence :: Monad m => LiftIns ins f (m a) -> m (LiftIns ins f a)

Functor ins => Functor (LiftIns ins f)

Defined in Data.Effect

Methods

fmap :: (a -> b) -> LiftIns ins f a -> LiftIns ins f b

(<$) :: a -> LiftIns ins f b -> LiftIns ins f a

data Nop :: InsClass

An instruction class with no effects.

type LNop = LiftIns Nop

A signature class with no effects.