cryptol-2.3.0: Cryptol: The Language of Cryptography

Copyright	(c) 2013-2016 Galois, Inc.
License	BSD3
Maintainer	cryptol@galois.com
Stability	provisional
Portability	portable
Safe Haskell	Safe
Language	Haskell98

Cryptol.Prims.Syntax

Description

Synopsis

Documentation

data TFun Source

Built-in types.

Constructors

TCAdd	: Num -> Num -> Num
TCSub	: Num -> Num -> Num
TCMul	: Num -> Num -> Num
TCDiv	: Num -> Num -> Num
TCMod	: Num -> 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 Source
Enum TFun Source
Eq TFun Source
Ord TFun Source
Show TFun Source
Generic TFun Source
NFData TFun Source
PP TFun Source
HasKind TFun Source
type Rep TFun Source

tBinOpPrec :: Map TFun (Assoc, Int) Source

tfunNames :: Map PName TFun Source