Cryptol.Prims.Syntax

Documentation

data TFun

Built-in types.

Constructors

TCAdd

 : Num -> Num -> Num

TCSub

 : Num -> Num -> Num

TCMul

 : Num -> Num -> Num

TCDiv

 : Num -> Num -> Num

TCMod

 : Num -> Num -> Num

TCLg2

 : Num -> Num

TCExp

 : Num -> Num -> Num

TCWidth

 : Num -> Num

TCMin

 : Num -> Num -> Num

TCMax

 : Num -> Num -> Num

TCLenFromThen

: Num -> Num -> Num -> Num Example: [ 1, 5 .. ] :: [lengthFromThen 1 5 b][b]

TCLenFromThenTo

: Num -> Num -> Num -> Num Example: [ 1, 5 .. 9 ] :: [lengthFromThenTo 1 5 9][b]

Instances

Bounded TFun

Enum TFun

Eq TFun

Ord TFun

Show TFun

PP TFun

HasKind TFun

data ECon

Built-in constants.

Constructors

ECTrue

ECFalse

ECDemote

Converts a numeric type into its corresponding value.

ECPlus

ECMinus

ECMul

ECDiv

ECMod

ECExp

ECLg2

ECNeg

ECLt

ECGt

ECLtEq

ECGtEq

ECEq

ECNotEq

ECFunEq

ECFunNotEq

ECMin

ECMax

ECAnd

ECOr

ECXor

ECCompl

ECZero

ECShiftL

ECShiftR

ECRotL

ECRotR

ECCat

ECSplitAt

ECJoin

ECSplit

ECReverse

ECTranspose

ECAt

ECAtRange

ECAtBack

ECAtRangeBack

ECFromThen

ECFromTo

ECFromThenTo

ECInfFrom

ECInfFromThen

ECError

ECPMul

ECPDiv

ECPMod

ECRandom

Instances

Bounded ECon

Enum ECon

Eq ECon

Ord ECon

Show ECon

PP ECon

eBinOpPrec :: Map ECon (Assoc, Int)

tBinOpPrec :: Map TFun (Assoc, Int)

ppPrefix :: ECon -> Doc