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 