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

Safe HaskellNone
LanguageHaskell2010

Copilot.Compile.C99.Witness

Documentation

data ExprInst a Source #

Constructors

Expr a => ExprInst 

exprInst :: Type a -> ExprInst a Source #

data AssignInst a Source #

Constructors

Assign a => AssignInst 

assignInst :: Type a -> AssignInst a Source #

data EqEInst a Source #

Constructors

EqE a => EqEInst 

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

data OrdEInst a Source #

Constructors

OrdE a => OrdEInst 

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

data NumEInst a Source #

Constructors

NumE a => NumEInst 

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

data IntegralEInst a Source #

Constructors

IntegralE a => IntegralEInst 

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

data FloatingEInst a Source #

Constructors

FloatingE a => FloatingEInst 

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

data BitsEInst a Source #

Constructors

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

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