_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 |