Type.Family.List
type Ø
type (:<)
type Only a
type family (as :: [k]) ++ (bs :: [k]) :: [k] where ...
type family Concat (ls :: [[k]]) :: [k] where ...
type family (as :: [k]) >: (a :: k) :: [k] where ...
type family Reverse (as :: [k]) :: [k] where ...
type family Head (as :: [k]) :: k where ...
type family Tail (as :: [k]) :: [k] where ...
type family Init (as :: [k]) :: [k] where ...
type family Init' (a :: k) (as :: [k]) :: [k] where ...
type family Last (as :: [k]) :: k where ...
type family Last' (a :: k) (as :: [k]) :: k where ...
type family ListC (cs :: [Constraint]) = (c :: Constraint) | c -> cs where ...
type family (f :: k -> l) <$> (a :: [k]) :: [l] where ...
type family (f :: [k -> l]) <&> (a :: k) :: [l] where ...
type family (f :: [k -> l]) <*> (a :: [k]) :: [l] where ...
type family Fsts (ps :: [(k, l)]) :: [k] where ...
type family Snds (ps :: [(k, l)]) :: [l] where ...
type family Zip (as :: [k]) (bs :: [l]) = (cs :: [(k, l)]) | cs -> as bs where ...
type family Fsts3 (ps :: [(k, l, m)]) :: [k] where ...
type family Snds3 (ps :: [(k, l, m)]) :: [l] where ...
type family Thds3 (ps :: [(k, l, m)]) :: [m] where ...