Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
class SubstRep' (f :: LoT (t -> k) -> *) (x :: t) (xs :: LoT k) where Source #
substRep :: f (x :&&: xs) -> SubstRep f x xs Source #
unsubstRep :: SubstRep f x xs -> f (x :&&: xs) Source #
Instances
SubstRep' (U1 :: LoT (t -> k) -> Type) (x :: t) (xs :: LoT k) Source # | |
Interpret (SubstAtom t2 x) xs ~ Interpret t2 (x :&&: xs) => SubstRep' (Field t2 :: LoT (t1 -> k) -> Type) (x :: t1) (xs :: LoT k) Source # | |
(SubstRep' f x xs, SubstRep' g x xs) => SubstRep' (f :*: g :: LoT (t -> k) -> Type) (x :: t) (xs :: LoT k) Source # | |
(SubstRep' f x xs, SubstRep' g x xs) => SubstRep' (f :+: g :: LoT (t -> k) -> Type) (x :: t) (xs :: LoT k) Source # | |
(Interpret (SubstAtom c x) xs, Interpret c (x :&&: xs), SubstRep' f x xs) => SubstRep' (c :=>: f :: LoT (t -> k) -> Type) (x :: t) (xs :: LoT k) Source # | |
SubstRep' f x xs => SubstRep' (M1 i c f :: LoT (t -> k) -> Type) (x :: t) (xs :: LoT k) Source # | |