cryptol-2.11.0: Cryptol: The Language of Cryptography
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cryptol.TypeCheck.SimpType

Synopsis

Documentation

tCon :: TCon -> [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. We assume that input kinds and the result kind are the same (i.e., Nat)