witness-0.6.2: values that witness types
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.Type.Witness.Specific.ApplyStack

Documentation

type family ApplyStack f a where ... Source #

Equations

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 #