Unbox a => Vector Vector (Identity a) Source #  

Unbox a => MVector MVector (Identity a) Source #  

Unbox a => Vector Vector (Const' k a b) Source #  

WrapForall * a Unbox h ((:) a x xs) => Vector Vector ((:*) a h ((:) a x xs)) Source #  

Unbox a => MVector MVector (Const' k a b) Source #  

WrapForall * a Unbox h ((:) a x xs) => MVector MVector ((:*) a h ((:) a x xs)) Source #  

Lift a => Lift (Identity a) Source #  

Pretty a => Pretty (Identity a) Source #  

Unbox a => Unbox (Identity a) Source #  

WrapForall * k Bounded h xs => Bounded ((:*) k h xs) Source #  

WrapForall * k Eq h xs => Eq ((:) k h xs) Source #  

WrapForall * k Eq h xs => Eq ((:*) k h xs) Source #  

(Eq ((:) k h xs), WrapForall * k Ord h xs) => Ord ((:) k h xs) Source #  

(Eq ((:*) k h xs), WrapForall * k Ord h xs) => Ord ((:*) k h xs) Source #  

WrapForall * k Show h xs => Show ((:) k h xs) Source #  

WrapForall * k Show h xs => Show ((:*) k h xs) Source #  

WrapForall * k Semigroup h xs => Semigroup ((:*) k h xs) Source #  

(WrapForall * k Semigroup h xs, WrapForall * k Monoid h xs) => Monoid ((:*) k h xs) Source #  

Lift a => Lift (Const k a b) Source #  

WrapForall * k Lift h xs => Lift ((:) k h xs) Source #  

WrapForall * k Lift h xs => Lift ((:*) k h xs) Source #  

WrapForall * k Arbitrary h xs => Arbitrary ((:) k h xs) Source #  

WrapForall * k Arbitrary h xs => Arbitrary ((:*) k h xs) Source #  

WrapForall * k Hashable h xs => Hashable ((:) k h xs) Source #  

WrapForall * k Hashable h xs => Hashable ((:*) k h xs) Source #  

Forall (Assoc Symbol v) (KeyValue Symbol v KnownSymbol (Instance1 * v ToJSON h)) xs => ToJSON ((:*) (Assoc Symbol v) (Nullable (Assoc Symbol v) (Field Symbol v h)) xs) Source #  

Forall (Assoc Symbol v) (KeyValue Symbol v KnownSymbol (Instance1 * v ToJSON h)) xs => ToJSON ((:*) (Assoc Symbol v) (Field Symbol v h) xs) Source #  

Forall (Assoc Symbol v) (KeyValue Symbol v KnownSymbol (Instance1 * v FromJSON h)) xs => FromJSON ((:*) (Assoc Symbol v) (Nullable (Assoc Symbol v) (Field Symbol v h)) xs) Source #  

Forall (Assoc Symbol v) (KeyValue Symbol v KnownSymbol (Instance1 * v FromJSON h)) xs => FromJSON ((:*) (Assoc Symbol v) (Field Symbol v h) xs) Source #  parseJSON Null is called for missing fields.


WrapForall * k FromField h xs => FromRecord ((:*) k h xs) Source #  

WrapForall * k ToField h xs => ToRecord ((:*) k h xs) Source #  

Forall (Assoc Symbol v) (KeyValue Symbol v KnownSymbol (Instance1 * v FromField h)) xs => FromNamedRecord ((:*) (Assoc Symbol v) (Field Symbol v h) xs) Source #  

Forall (Assoc Symbol v) (KeyValue Symbol v KnownSymbol (Instance1 * v ToField h)) xs => ToNamedRecord ((:*) (Assoc Symbol v) (Field Symbol v h) xs) Source #  

WrapForall * k NFData h xs => NFData ((:) k h xs) Source #  
Methods rnf :: (k : h) xs > () # 
WrapForall * k NFData h xs => NFData ((:*) k h xs) Source #  
Methods rnf :: (k :* h) xs > () # 
Pretty a => Pretty (Const k a b) Source #  

WrapForall * k Pretty h xs => Pretty ((:) k h xs) Source #  

WrapForall * k Pretty h xs => Pretty ((:*) k h xs) Source #  

Unbox a => Unbox (Const' k a b) Source #  

WrapForall * a Unbox h ((:) a x xs) => Unbox ((:*) a h ((:) a x xs)) Source #  
