copilot-c99-0.2: A compiler for Copilot targeting C99.

Copilot.Compile.C99.Witness

Documentation

data ExprInst a Source

Constructors

Expr a => ExprInst 

exprInst :: Type a -> ExprInst aSource

data AssignInst a Source

Constructors

Assign a => AssignInst 

assignInst :: Type a -> AssignInst aSource

data EqEInst a Source

Constructors

EqE a => EqEInst 

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

data OrdEInst a Source

Constructors

OrdE a => OrdEInst 

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

data NumEInst a Source

Constructors

NumE a => NumEInst 

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

data IntegralEInst a Source

Constructors

IntegralE a => IntegralEInst 

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

data FloatingEInst a Source

Constructors

FloatingE a => FloatingEInst 

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

data BitsEInst a Source

Constructors

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

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