cryptol-2.4.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

- data TFun
  - = TCAdd
  - | TCSub
  - | TCMul
  - | TCDiv
  - | TCMod
  - | TCExp
  - | TCWidth
  - | TCMin
  - | TCMax
  - | TCLenFromThen
  - | TCLenFromThenTo
- tBinOpPrec :: Map TFun (Assoc, Int)
- tfunNames :: Map PName (Int, TFun)

# 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.4.0-CN28BMG3PUFD1lr9WvB1U9" 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.