| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Cryptol.TypeCheck.SimpType
Synopsis
- tRebuild' :: Bool -> Type -> Type
- tRebuild :: Type -> Type
- tCon :: TCon -> [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
- 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