Safe Haskell | None |
---|
- tBoolU :: Type Name
- tBool :: Region Name -> Type Name
- tNatU :: Type Name
- tNat :: Region Name -> Type Name
- dcNatU :: Integer -> DaCon Name
- xNatU :: a -> Integer -> Exp a Name
- tIntU :: Type Name
- tInt :: Region Name -> Type Name
- tWordU :: Int -> Type Name
- tPair :: Region Name -> Type Name -> Type Name -> Type Name
- tList :: Region Name -> Type Name -> Type Name