Cascade-0.1.0.0: Playing with reified categorical composition
Cascade.Util.ListKind
type family All c xs :: Constraint Source
Equations
type family Last ts :: a Source
type family Map f ts :: [b] Source
type family Tails as :: [[a]] Source
type family Tail as :: [a] Source
type family Init as :: [a] Source
type family RInits as :: [[a]] Source
type family Snoc x xs :: [a] Source
type family ZipWith f as bs :: [c] Source
type family Concat as bs :: [a] Source