| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Data.Unapply
Documentation
class (f ~ (f' :$: as)) => Unapply f f' as | f' as -> f, f -> f' as Source
Instances
| Unapply * Bool Bool ([] *) | |
| Unapply * Ordering Ordering ([] *) | |
| Unapply * () () ([] *) | |
| Unapply (* -> *) [a] [] ((:) * a ([] *)) | |
| Unapply (* -> *) (Sum a) Sum ((:) * a ([] *)) | |
| Unapply (* -> *) (Product a) Product ((:) * a ([] *)) | |
| Unapply (* -> *) (First a) First ((:) * a ([] *)) | |
| Unapply (* -> *) (Last a) Last ((:) * a ([] *)) | |
| Unapply (* -> *) (Maybe a) Maybe ((:) * a ([] *)) | |
| Unapply (* -> * -> *) (a -> b) (->) ((:) * a ((:) * b ([] *))) | |
| Unapply (* -> * -> *) (Either a b) Either ((:) * a ((:) * b ([] *))) | |
| Unapply (* -> * -> *) (a, b) (,) ((:) * a ((:) * b ([] *))) | |
| Unapply (* -> * -> * -> *) (a, b, c) (,,) ((:) * a ((:) * b ((:) * c ([] *)))) | |
| Unapply (* -> * -> * -> * -> *) (a, b, c, d) (,,,) ((:) * a ((:) * b ((:) * c ((:) * d ([] *))))) | |
| Unapply (* -> * -> * -> * -> * -> *) (a, b, c, d, e) (,,,,) ((:) * a ((:) * b ((:) * c ((:) * d ((:) * e ([] *)))))) | |
| Unapply (* -> * -> * -> * -> * -> * -> *) (a, b, c, d, e, f) (,,,,,) ((:) * a ((:) * b ((:) * c ((:) * d ((:) * e ((:) * f ([] *))))))) | |
| Unapply (* -> * -> * -> * -> * -> * -> * -> *) (a, b, c, d, e, f, g) (,,,,,,) ((:) * a ((:) * b ((:) * c ((:) * d ((:) * e ((:) * f ((:) * g ([] *)))))))) | |
| Unapply (* -> * -> * -> * -> * -> * -> * -> * -> *) (a, b, c, d, e, f, g, h) (,,,,,,,) ((:) * a ((:) * b ((:) * c ((:) * d ((:) * e ((:) * f ((:) * g ((:) * h ([] *))))))))) | |
| Unapply (* -> * -> * -> * -> * -> * -> * -> * -> * -> *) (a, b, c, d, e, f, g, h, i) (,,,,,,,,) ((:) * a ((:) * b ((:) * c ((:) * d ((:) * e ((:) * f ((:) * g ((:) * h ((:) * i ([] *)))))))))) |