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