Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
type family Select (n :: Nat) (a :: *) :: * Source #
Instances
type Select 1 (t1, t2) Source # | |
type Select 2 (t1, t2) Source # | |
type Select 1 (t1, t2, t3) Source # | |
type Select 2 (t1, t2, t3) Source # | |
type Select 3 (t1, t2, t3) Source # | |
type Select 1 (t1, t2, t3, t4) Source # | |
type Select 2 (t1, t2, t3, t4) Source # | |
type Select 3 (t1, t2, t3, t4) Source # | |
type Select 4 (t1, t2, t3, t4) Source # | |
type Select 1 (t1, t2, t3, t4, t5) Source # | |
type Select 2 (t1, t2, t3, t4, t5) Source # | |
type Select 3 (t1, t2, t3, t4, t5) Source # | |
type Select 4 (t1, t2, t3, t4, t5) Source # | |
type Select 5 (t1, t2, t3, t4, t5) Source # | |
type family PrependAll (els :: *) (lsts :: k) :: k Source #
Instances
type PrependAll (t1, t2) ((,) l1 l2 :: ([Type], [Type])) Source # | |
type PrependAll (t1, t2, t3) ((,,) l1 l2 l3 :: ([Type], [Type], [Type])) Source # | |
type PrependAll (t1, t2, t3, t4) ((,,,) l1 l2 l3 l4 :: ([Type], [Type], [Type], [Type])) Source # | |
type PrependAll (t1, t2, t3, t4, t5) ((,,,,) l1 l2 l3 l4 l5 :: ([Type], [Type], [Type], [Type], [Type])) Source # | |
type family Unzip2 (lst :: [*]) :: ([*], [*]) where ... Source #
Unzip2 '[] = '('[], '[]) | |
Unzip2 ((x1, x2) ': lst) = PrependAll (x1, x2) (Unzip2 lst) |
type family Zip5 (l1 :: [*]) (l2 :: [*]) (l3 :: [*]) (l4 :: [*]) (l5 :: [*]) :: [*] where ... Source #
type family RemovedIdx (idx :: Nat) (cont :: c) :: l Source #
Instances
type RemovedIdx idx (l ': ls :: [a]) Source # | |
Defined in Type.List |
module Type.Monoid
module Type.Container