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 #
Methods minBound :: TFun # maxBound :: TFun #
Enum TFun Source #
Methods succ :: TFun -> TFun # pred :: TFun -> TFun # toEnum :: Int -> TFun # fromEnum :: TFun -> Int # enumFrom :: TFun -> [TFun] # enumFromThen :: TFun -> TFun -> [TFun] # enumFromTo :: TFun -> TFun -> [TFun] # enumFromThenTo :: TFun -> TFun -> TFun -> [TFun] #
Eq TFun Source #
Methods (==) :: TFun -> TFun -> Bool # (/=) :: TFun -> TFun -> Bool #
Ord TFun Source #
Methods compare :: TFun -> TFun -> Ordering # (<) :: TFun -> TFun -> Bool # (<=) :: TFun -> TFun -> Bool # (>) :: TFun -> TFun -> Bool # (>=) :: TFun -> TFun -> Bool # max :: TFun -> TFun -> TFun # min :: TFun -> TFun -> TFun #
Show TFun Source #
Methods showsPrec :: Int -> TFun -> ShowS # show :: TFun -> String # showList :: [TFun] -> ShowS #
Generic TFun Source #
Associated Types type Rep TFun :: * -> * # Methods from :: TFun -> Rep TFun x # to :: Rep TFun x -> TFun #
NFData TFun Source #
Methods rnf :: TFun -> () #
PPName TFun Source #
Methods ppNameFixity :: TFun -> Maybe (Assoc, Int) Source # ppPrefixName :: TFun -> Doc Source # ppInfixName :: TFun -> Doc Source #
PP TFun Source #
Methods ppPrec :: Int -> TFun -> Doc Source #
HasKind TFun Source #
Methods kindOf :: TFun -> Kind Source #
type Rep TFun Source #
type Rep TFun = D1 (MetaData "TFun" "Cryptol.Prims.Syntax" "cryptol-2.5.0-62ntwDPh16AFY461fF3rK" False) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "TCAdd" PrefixI False) U1) (C1 (MetaCons "TCSub" PrefixI False) U1)) ((:+:) (C1 (MetaCons "TCMul" PrefixI False) U1) ((:+:) (C1 (MetaCons "TCDiv" PrefixI False) U1) (C1 (MetaCons "TCMod" PrefixI False) U1)))) ((:+:) ((:+:) (C1 (MetaCons "TCExp" PrefixI False) U1) ((:+:) (C1 (MetaCons "TCWidth" PrefixI False) U1) (C1 (MetaCons "TCMin" PrefixI False) U1))) ((:+:) (C1 (MetaCons "TCMax" PrefixI False) U1) ((:+:) (C1 (MetaCons "TCLenFromThen" PrefixI False) U1) (C1 (MetaCons "TCLenFromThenTo" PrefixI False) U1)))))

tBinOpPrec :: Map TFun (Assoc, Int) Source #

tfunNames :: Map PName (Int, TFun) Source #

Type functions, with their arity and function constructor.