| _L :: a |
|
| data One |
|
| bang :: a -> One |
|
| (/\) :: (a -> b) -> (a -> c) -> a -> (b, c) |
|
| (><) :: (a -> b) -> (c -> d) -> (a, c) -> (b, d) |
|
| inl :: a -> Either a b |
|
| inr :: b -> Either a b |
|
| (\/) :: (b -> a) -> (c -> a) -> Either b c -> a |
|
| (-|-) :: (a -> b) -> (c -> d) -> Either a c -> Either b d |
|
| (<>) :: (a -> b) -> (c -> d) -> Either a c -> Either b d |
|
| app :: (a -> b, a) -> b |
|
| (!) :: a -> b -> a |
|
| pnt :: a -> One -> a |
|
| grd :: (a -> Bool) -> a -> Either a a |
|
| (?) :: (a -> Bool) -> a -> Either a a |