WrapForall Unbox h (x ': xs) => Vector Vector ((x ': xs) :& h) Source # | |
Instance details |
WrapForall Unbox h (x ': xs) => MVector MVector ((x ': xs) :& h) Source # | |
Instance details |
WrapForall Bounded h xs => Bounded (xs :& h) Source # | |
Instance details |
WrapForall Eq h xs => Eq (xs :/ h) Source # | |
Instance details |
WrapForall Eq h xs => Eq (xs :& h) Source # | |
Instance details |
(Eq (xs :/ h), WrapForall Ord h xs) => Ord (xs :/ h) Source # | |
Instance details |
(Eq (xs :& h), WrapForall Ord h xs) => Ord (xs :& h) Source # | |
Instance details |
WrapForall Show h xs => Show (xs :/ h) Source # | |
Instance details |
WrapForall Show h xs => Show (xs :& h) Source # | |
Instance details |
WrapForall Semigroup h xs => Semigroup (xs :& h) Source # | |
Instance details |
(WrapForall Semigroup h xs, WrapForall Monoid h xs) => Monoid (xs :& h) Source # | |
Instance details |
WrapForall Lift h xs => Lift (xs :/ h) Source # | |
Instance details |
WrapForall Lift h xs => Lift (xs :& h) Source # | |
Instance details |
WrapForall Arbitrary h xs => Arbitrary (xs :/ h) Source # | |
Instance details |
WrapForall Arbitrary h xs => Arbitrary (xs :& h) Source # | |
Instance details |
WrapForall Hashable h xs => Hashable (xs :/ h) Source # | |
Instance details |
WrapForall Hashable h xs => Hashable (xs :& h) Source # | |
Instance details |
Forall (KeyTargetAre KnownSymbol (Instance1 ToJSON h)) xs => ToJSON (xs :& Nullable (Field h :: Assoc Symbol v -> Type)) Source # | |
Instance details |
Forall (KeyTargetAre KnownSymbol (Instance1 ToJSON h)) xs => ToJSON (xs :& (Field h :: Assoc Symbol v -> Type)) Source # | |
Instance details |
Forall (KeyTargetAre KnownSymbol (Instance1 FromJSON h)) xs => FromJSON (xs :& Nullable (Field h :: Assoc Symbol v -> Type)) Source # | |
Instance details |
Forall (KeyTargetAre KnownSymbol (Instance1 FromJSON h)) xs => FromJSON (xs :& (Field h :: Assoc Symbol v -> Type)) Source # | parseJSON Null is called for missing fields.
|
Instance details |
WrapForall FromField h xs => FromRecord (xs :& h) Source # | |
Instance details |
WrapForall ToField h xs => ToRecord (xs :& h) Source # | |
Instance details |
Forall (KeyTargetAre KnownSymbol (Instance1 FromField h)) xs => FromNamedRecord (xs :& (Field h :: Assoc Symbol v -> Type)) Source # | |
Instance details |
Forall (KeyTargetAre KnownSymbol (Instance1 ToField h)) xs => ToNamedRecord (xs :& (Field h :: Assoc Symbol v -> Type)) Source # | |
Instance details |
WrapForall NFData h xs => NFData (xs :/ h) Source # | |
Instance details Methods rnf :: (xs :/ h) -> () # |
WrapForall NFData h xs => NFData (xs :& h) Source # | |
Instance details Methods rnf :: (xs :& h) -> () # |
WrapForall Pretty h xs => Pretty (xs :/ h) Source # | |
Instance details |
WrapForall Pretty h xs => Pretty (xs :& h) Source # | |
Instance details |
WrapForall Unbox h (x ': xs) => Unbox ((x ': xs) :& h) Source # | |
Instance details |