Copilot.Compile.C99.Witness

Documentation

data ExprInst a

Constructors

Expr a => ExprInst

exprInst :: Type a -> ExprInst a

data AssignInst a

Constructors

Assign a => AssignInst

assignInst :: Type a -> AssignInst a

data EqEInst a

Constructors

EqE a => EqEInst

eqEInst :: Eq a => Type a -> EqEInst a

data OrdEInst a

Constructors

OrdE a => OrdEInst

ordEInst :: Ord a => Type a -> OrdEInst a

data NumEInst a

Constructors

NumE a => NumEInst

numEInst :: Num a => Type a -> NumEInst a

data IntegralEInst a

Constructors

IntegralE a => IntegralEInst

integralEInst :: Integral a => Type a -> IntegralEInst a

data FloatingEInst a

Constructors

FloatingE a => FloatingEInst

floatingEInst :: Floating a => Type a -> FloatingEInst a

data BitsEInst a

Constructors

(Expr a, OrdE a, EqE a, IntegralE a, Bits a) => BitsEInst

bitsEInst :: Bits a => Type a -> BitsEInst a