| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Alien.Prelude
Synopsis
- add :: Integer -> Integer -> Integer
- mul :: Integer -> Integer -> Integer
- div :: Integer -> Integer -> Integer
- eq :: Integer -> Integer -> p -> p -> p
- lt :: Integer -> Integer -> p -> p -> p
- neg :: Integer -> Integer
- s :: b
- c :: (t1 -> t2 -> t3) -> t2 -> t1 -> t3
- b :: (t1 -> t2) -> (t3 -> t1) -> t3 -> t2
- t :: p1 -> p2 -> p1
- f :: p1 -> p2 -> p2
- i :: p -> p
- cons :: b
- car :: ((p1 -> p2 -> p1) -> t) -> t
- cdr :: ((p1 -> p2 -> p2) -> t) -> t
- nil :: b
- isnil :: ((p1 -> p2 -> p3 -> p4 -> p4) -> t) -> t
