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

Copilot.Compile.C99.Witness

Documentation

data ExprInst a Source

Constructors

Expr a => ExprInst 

data AssignInst a Source

Constructors

Assign a => AssignInst 

data EqEInst a Source

Constructors

EqE a => EqEInst 

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

data OrdEInst a Source

Constructors

OrdE a => OrdEInst 

data NumEInst a Source

Constructors

NumE a => NumEInst 

data IntegralEInst a Source

Constructors

IntegralE a => IntegralEInst 

data FloatingEInst a Source

Constructors

FloatingE a => FloatingEInst 

data BitsEInst a Source

Constructors

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