Data.Unapply

Documentation

class (f ~ (f' :$: as)) => Unapply f f' as | f' as -> f, f -> f' as

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 ([] *))))))))))