Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
type family ApplyStack f a where ... Source #
ApplyStack '[] a = a | |
ApplyStack (t ': tt) a = t (ApplyStack tt a) |
witApplyConcatRefl :: forall k (f1 :: [k -> k]) (f2 :: [k -> k]) (a :: k) w. ListType w f1 -> ApplyStack (Concat f1 f2) a :~: ApplyStack f1 (ApplyStack f2 a) Source #
applyConcatRefl :: forall k (f1 :: [k -> k]) (f2 :: [k -> k]) (a :: k) w. Is (ListType w) f1 => ApplyStack (Concat f1 f2) a :~: ApplyStack f1 (ApplyStack f2 a) Source #