cryptol-2.6.0: Cryptol: The Language of Cryptography

Safe Haskell | Safe
Language | Haskell2010

Cryptol.TypeCheck.SimpType

Synopsis

- tRebuild' :: Bool -> Type -> Type
- tRebuild :: Type -> Type
- tAdd :: Type -> Type -> Type
- tSub :: Type -> Type -> Type
- tMul :: Type -> Type -> Type
- tDiv :: Type -> Type -> Type
- tMod :: Type -> Type -> Type
- tCeilDiv :: Type -> Type -> Type
- tCeilMod :: Type -> Type -> Type
- tExp :: Type -> Type -> Type
- tMin :: Type -> Type -> Type
- tMax :: Type -> Type -> Type
- tWidth :: Type -> Type
- tLenFromThen :: Type -> Type -> Type -> Type
- tLenFromThenTo :: Type -> Type -> Type -> Type
- total :: ([Nat'] -> Nat') -> [Nat'] -> Maybe Nat'
- op1 :: (a -> b) -> [a] -> b
- op2 :: (a -> a -> b) -> [a] -> b
- op3 :: (a -> a -> a -> b) -> [a] -> b
- tOp :: TFun -> ([Nat'] -> Maybe Nat') -> [Type] -> Maybe Type

# Documentation

tRebuild' :: Bool -> Type -> Type Source #

tRebuild :: Type -> Type Source #

tAdd :: Type -> Type -> Type Source #

tSub :: Type -> Type -> Type Source #

tMul :: Type -> Type -> Type Source #

tDiv :: Type -> Type -> Type Source #

tMod :: Type -> Type -> Type Source #

tCeilDiv :: Type -> Type -> Type Source #

tCeilMod :: Type -> Type -> Type Source #

tExp :: Type -> Type -> Type Source #

tMin :: Type -> Type -> Type Source #

tMax :: Type -> Type -> Type Source #

tWidth :: Type -> Type Source #

tLenFromThen :: Type -> Type -> Type -> Type Source #

tLenFromThenTo :: Type -> Type -> Type -> Type Source #

total :: ([Nat'] -> Nat') -> [Nat'] -> Maybe Nat' Source #

op1 :: (a -> b) -> [a] -> b Source #

op2 :: (a -> a -> b) -> [a] -> b Source #

op3 :: (a -> a -> a -> b) -> [a] -> b Source #

tOp :: TFun -> ([Nat'] -> Maybe Nat') -> [Type] -> Maybe Type Source #

Common checks: check for error, or simple full evaluation.