extensible 0.9 → 0.9.1
raw patch · 3 files changed
+32/−3 lines, 3 filesPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
API changes (from Hackage documentation)
- Data.Extensible.Bits: instance (Data.Extensible.Bits.FromBits r a, Data.Extensible.Bits.FromBits r b, n GHC.Types.~ (Data.Extensible.Bits.BitWidth a GHC.TypeNats.+ Data.Extensible.Bits.BitWidth b), n GHC.TypeNats.<= Data.Extensible.Bits.BitWidth r, GHC.TypeNats.KnownNat n) => Data.Extensible.Bits.FromBits r (a, b)
- Data.Extensible.Bits: instance Data.Bits.Bits r => Data.Extensible.Bits.FromBits r ()
- Data.Extensible.Bits: instance forall k (h :: k -> Type) (xs :: [k]) r. (Type.Membership.Forall (Data.Extensible.Dictionary.Instance1 GHC.Show.Show h) xs, Data.Extensible.Bits.BitFields r xs h) => GHC.Show.Show (Data.Extensible.Bits.BitProd r xs h)
- Data.Extensible.Bits: instance forall k r (a :: k). Data.Bits.Bits r => Data.Extensible.Bits.FromBits r (Data.Proxy.Proxy a)
- Data.Extensible.Bits: instance forall k r (h :: k -> Type) (xs :: [k]). (Data.Bits.Bits r, GHC.TypeNats.KnownNat (Data.Extensible.Bits.TotalBits h xs)) => Data.Extensible.Bits.FromBits r (Data.Extensible.Bits.BitProd r xs h)
- Data.Extensible.Bits: instance forall r k (xs :: [k]) (h :: k -> Type). Data.Hashable.Class.Hashable r => Data.Hashable.Class.Hashable (Data.Extensible.Bits.BitProd r xs h)
- Data.Extensible.Bits: instance forall r k (xs :: [k]) (h :: k -> Type). Foreign.Storable.Storable r => Foreign.Storable.Storable (Data.Extensible.Bits.BitProd r xs h)
- Data.Extensible.Bits: instance forall r k (xs :: [k]) (h :: k -> Type). GHC.Classes.Eq r => GHC.Classes.Eq (Data.Extensible.Bits.BitProd r xs h)
- Data.Extensible.Bits: instance forall r k (xs :: [k]) (h :: k -> Type). GHC.Classes.Ord r => GHC.Classes.Ord (Data.Extensible.Bits.BitProd r xs h)
- Data.Extensible.Bits: instance forall r k (xs :: [k]) (h :: k -> Type). GHC.Enum.Bounded r => GHC.Enum.Bounded (Data.Extensible.Bits.BitProd r xs h)
- Data.Extensible.Bits: instance forall r k (xs :: [k]) (h :: k -> Type). GHC.Enum.Enum r => GHC.Enum.Enum (Data.Extensible.Bits.BitProd r xs h)
- Data.Extensible.Bits: instance forall r k (xs :: [k]) (h :: k -> Type). GHC.Generics.Generic (Data.Extensible.Bits.BitProd r xs h)
- Data.Extensible.Bits: instance forall r k (xs :: [k]) (h :: k -> Type). GHC.Ix.Ix r => GHC.Ix.Ix (Data.Extensible.Bits.BitProd r xs h)
- Data.Extensible.Bits: instance forall v k r (h :: v -> Type) (x :: Type.Membership.Internal.Assoc k v). (Data.Bits.Bits r, Data.Extensible.Bits.FromBits r (h (Type.Membership.TargetOf x))) => Data.Extensible.Bits.FromBits r (Data.Extensible.Field.Field h x)
- Data.Extensible.Dictionary: instance forall k (h :: k -> Type) (x :: k) (xs :: [k]). Data.Extensible.Dictionary.WrapForall Data.Vector.Unboxed.Base.Unbox h (x : xs) => Data.Vector.Generic.Base.Vector Data.Vector.Unboxed.Base.Vector ((x : xs) Data.Extensible.Struct.:& h)
- Data.Extensible.Dictionary: instance forall k (h :: k -> Type) (x :: k) (xs :: [k]). Data.Extensible.Dictionary.WrapForall Data.Vector.Unboxed.Base.Unbox h (x : xs) => Data.Vector.Generic.Mutable.Base.MVector Data.Vector.Unboxed.Base.MVector ((x : xs) Data.Extensible.Struct.:& h)
- Data.Extensible.Dictionary: instance forall k (h :: k -> Type) (x :: k) (xs :: [k]). Data.Extensible.Dictionary.WrapForall Data.Vector.Unboxed.Base.Unbox h (x : xs) => Data.Vector.Unboxed.Base.Unbox ((x : xs) Data.Extensible.Struct.:& h)
- Data.Extensible.Dictionary: instance forall k (h :: k -> Type) (xs :: [k]). (Data.Extensible.Dictionary.WrapForall GHC.Base.Semigroup h xs, Data.Extensible.Dictionary.WrapForall GHC.Base.Monoid h xs) => GHC.Base.Monoid (xs Data.Extensible.Struct.:& h)
- Data.Extensible.Dictionary: instance forall k (h :: k -> Type) (xs :: [k]). (Data.Extensible.Dictionary.WrapForall GHC.Classes.Eq h xs, Data.Extensible.Dictionary.WrapForall Data.Hashable.Class.Hashable h xs) => Data.Hashable.Class.Hashable (xs Data.Extensible.Struct.:& h)
- Data.Extensible.Dictionary: instance forall k (h :: k -> Type) (xs :: [k]). (Data.Extensible.Dictionary.WrapForall GHC.Classes.Eq h xs, Data.Extensible.Dictionary.WrapForall Data.Hashable.Class.Hashable h xs) => Data.Hashable.Class.Hashable (xs Data.Extensible.Sum.:/ h)
- Data.Extensible.Dictionary: instance forall k (h :: k -> Type) (xs :: [k]). Data.Extensible.Dictionary.WrapForall Control.DeepSeq.NFData h xs => Control.DeepSeq.NFData (xs Data.Extensible.Struct.:& h)
- Data.Extensible.Dictionary: instance forall k (h :: k -> Type) (xs :: [k]). Data.Extensible.Dictionary.WrapForall Control.DeepSeq.NFData h xs => Control.DeepSeq.NFData (xs Data.Extensible.Sum.:/ h)
- Data.Extensible.Dictionary: instance forall k (h :: k -> Type) (xs :: [k]). Data.Extensible.Dictionary.WrapForall Data.Csv.Conversion.FromField h xs => Data.Csv.Conversion.FromRecord (xs Data.Extensible.Struct.:& h)
- Data.Extensible.Dictionary: instance forall k (h :: k -> Type) (xs :: [k]). Data.Extensible.Dictionary.WrapForall Data.Csv.Conversion.ToField h xs => Data.Csv.Conversion.ToRecord (xs Data.Extensible.Struct.:& h)
- Data.Extensible.Dictionary: instance forall k (h :: k -> Type) (xs :: [k]). Data.Extensible.Dictionary.WrapForall Data.Incremental.Incremental h xs => Data.Incremental.Incremental (xs Data.Extensible.Struct.:& h)
- Data.Extensible.Dictionary: instance forall k (h :: k -> Type) (xs :: [k]). Data.Extensible.Dictionary.WrapForall GHC.Base.Semigroup h xs => GHC.Base.Semigroup (xs Data.Extensible.Struct.:& h)
- Data.Extensible.Dictionary: instance forall k (h :: k -> Type) (xs :: [k]). Data.Extensible.Dictionary.WrapForall GHC.Classes.Eq h xs => GHC.Classes.Eq (xs Data.Extensible.Struct.:& h)
- Data.Extensible.Dictionary: instance forall k (h :: k -> Type) (xs :: [k]). Data.Extensible.Dictionary.WrapForall GHC.Classes.Eq h xs => GHC.Classes.Eq (xs Data.Extensible.Sum.:/ h)
- Data.Extensible.Dictionary: instance forall k (h :: k -> Type) (xs :: [k]). Data.Extensible.Dictionary.WrapForall GHC.Enum.Bounded h xs => GHC.Enum.Bounded (xs Data.Extensible.Struct.:& h)
- Data.Extensible.Dictionary: instance forall k (h :: k -> Type) (xs :: [k]). Data.Extensible.Dictionary.WrapForall GHC.Show.Show h xs => GHC.Show.Show (xs Data.Extensible.Struct.:& h)
- Data.Extensible.Dictionary: instance forall k (h :: k -> Type) (xs :: [k]). Data.Extensible.Dictionary.WrapForall GHC.Show.Show h xs => GHC.Show.Show (xs Data.Extensible.Sum.:/ h)
- Data.Extensible.Dictionary: instance forall k (h :: k -> Type) (xs :: [k]). Data.Extensible.Dictionary.WrapForall Language.Haskell.TH.Syntax.Lift h xs => Language.Haskell.TH.Syntax.Lift (xs Data.Extensible.Struct.:& h)
- Data.Extensible.Dictionary: instance forall k (h :: k -> Type) (xs :: [k]). Data.Extensible.Dictionary.WrapForall Language.Haskell.TH.Syntax.Lift h xs => Language.Haskell.TH.Syntax.Lift (xs Data.Extensible.Sum.:/ h)
- Data.Extensible.Dictionary: instance forall k (h :: k -> Type) (xs :: [k]). Data.Extensible.Dictionary.WrapForall Prettyprinter.Internal.Pretty h xs => Prettyprinter.Internal.Pretty (xs Data.Extensible.Struct.:& h)
- Data.Extensible.Dictionary: instance forall k (h :: k -> Type) (xs :: [k]). Data.Extensible.Dictionary.WrapForall Prettyprinter.Internal.Pretty h xs => Prettyprinter.Internal.Pretty (xs Data.Extensible.Sum.:/ h)
- Data.Extensible.Dictionary: instance forall k (h :: k -> Type) (xs :: [k]). Data.Extensible.Dictionary.WrapForall Test.QuickCheck.Arbitrary.Arbitrary h xs => Test.QuickCheck.Arbitrary.Arbitrary (xs Data.Extensible.Struct.:& h)
- Data.Extensible.Dictionary: instance forall k (h :: k -> Type) (xs :: [k]). Data.Extensible.Dictionary.WrapForall Test.QuickCheck.Arbitrary.Arbitrary h xs => Test.QuickCheck.Arbitrary.Arbitrary (xs Data.Extensible.Sum.:/ h)
- Data.Extensible.Dictionary: instance forall k (xs :: [k]) (h :: k -> Type). (GHC.Classes.Eq (xs Data.Extensible.Struct.:& h), Data.Extensible.Dictionary.WrapForall GHC.Classes.Ord h xs) => GHC.Classes.Ord (xs Data.Extensible.Struct.:& h)
- Data.Extensible.Dictionary: instance forall k (xs :: [k]) (h :: k -> Type). (GHC.Classes.Eq (xs Data.Extensible.Sum.:/ h), Data.Extensible.Dictionary.WrapForall GHC.Classes.Ord h xs) => GHC.Classes.Ord (xs Data.Extensible.Sum.:/ h)
- Data.Extensible.Dictionary: instance forall k1 v1 (xs :: [Type.Membership.Internal.Assoc k1 v1]) (k2 :: k1) (v2 :: v1) (h :: v1 -> Type) a. (Type.Membership.Internal.Lookup xs k2 v2, Data.Extensible.Wrapper.Wrapper h, Data.Extensible.Wrapper.Repr h v2 GHC.Types.~ a) => GHC.Records.HasField k2 (Data.Extensible.Field.RecordOf h xs) a
- Data.Extensible.Dictionary: instance forall v (h :: v -> Type) (xs :: [Type.Membership.Internal.Assoc GHC.Types.Symbol v]). Type.Membership.Forall (Type.Membership.KeyTargetAre GHC.TypeLits.KnownSymbol (Data.Extensible.Dictionary.Instance1 Data.Aeson.Types.FromJSON.FromJSON h)) xs => Data.Aeson.Types.FromJSON.FromJSON (xs Data.Extensible.Struct.:& Data.Extensible.Field.Field h)
- Data.Extensible.Dictionary: instance forall v (h :: v -> Type) (xs :: [Type.Membership.Internal.Assoc GHC.Types.Symbol v]). Type.Membership.Forall (Type.Membership.KeyTargetAre GHC.TypeLits.KnownSymbol (Data.Extensible.Dictionary.Instance1 Data.Aeson.Types.FromJSON.FromJSON h)) xs => Data.Aeson.Types.FromJSON.FromJSON (xs Data.Extensible.Struct.:& Data.Extensible.Nullable.Nullable (Data.Extensible.Field.Field h))
- Data.Extensible.Dictionary: instance forall v (h :: v -> Type) (xs :: [Type.Membership.Internal.Assoc GHC.Types.Symbol v]). Type.Membership.Forall (Type.Membership.KeyTargetAre GHC.TypeLits.KnownSymbol (Data.Extensible.Dictionary.Instance1 Data.Aeson.Types.ToJSON.ToJSON h)) xs => Data.Aeson.Types.ToJSON.ToJSON (xs Data.Extensible.Struct.:& Data.Extensible.Field.Field h)
- Data.Extensible.Dictionary: instance forall v (h :: v -> Type) (xs :: [Type.Membership.Internal.Assoc GHC.Types.Symbol v]). Type.Membership.Forall (Type.Membership.KeyTargetAre GHC.TypeLits.KnownSymbol (Data.Extensible.Dictionary.Instance1 Data.Aeson.Types.ToJSON.ToJSON h)) xs => Data.Aeson.Types.ToJSON.ToJSON (xs Data.Extensible.Struct.:& Data.Extensible.Nullable.Nullable (Data.Extensible.Field.Field h))
- Data.Extensible.Dictionary: instance forall v (h :: v -> Type) (xs :: [Type.Membership.Internal.Assoc GHC.Types.Symbol v]). Type.Membership.Forall (Type.Membership.KeyTargetAre GHC.TypeLits.KnownSymbol (Data.Extensible.Dictionary.Instance1 Data.Csv.Conversion.FromField h)) xs => Data.Csv.Conversion.FromNamedRecord (xs Data.Extensible.Struct.:& Data.Extensible.Field.Field h)
- Data.Extensible.Dictionary: instance forall v (h :: v -> Type) (xs :: [Type.Membership.Internal.Assoc GHC.Types.Symbol v]). Type.Membership.Forall (Type.Membership.KeyTargetAre GHC.TypeLits.KnownSymbol (Data.Extensible.Dictionary.Instance1 Data.Csv.Conversion.ToField h)) xs => Data.Csv.Conversion.ToNamedRecord (xs Data.Extensible.Struct.:& Data.Extensible.Field.Field h)
- Data.Extensible.Dictionary: instance forall v (xs :: [Type.Membership.Internal.Assoc GHC.Types.Symbol v]) (h :: v -> Type). Type.Membership.Forall (Type.Membership.KeyIs GHC.TypeLits.KnownSymbol) xs => Data.Csv.Conversion.DefaultOrdered (Data.Extensible.Field.RecordOf h xs)
- Data.Extensible.Field: instance forall v (h :: v -> Type) k (kv :: Type.Membership.Internal.Assoc k v). GHC.Generics.Generic (Data.Extensible.Field.Field h kv)
- Data.Extensible.Field: instance forall v k (h :: v -> Type) (kv :: Type.Membership.Internal.Assoc k v). Control.DeepSeq.NFData (h (Type.Membership.TargetOf kv)) => Control.DeepSeq.NFData (Data.Extensible.Field.Field h kv)
- Data.Extensible.Field: instance forall v k (h :: v -> Type) (kv :: Type.Membership.Internal.Assoc k v). Data.Aeson.Types.FromJSON.FromJSON (h (Type.Membership.TargetOf kv)) => Data.Aeson.Types.FromJSON.FromJSON (Data.Extensible.Field.Field h kv)
- Data.Extensible.Field: instance forall v k (h :: v -> Type) (kv :: Type.Membership.Internal.Assoc k v). Data.Aeson.Types.ToJSON.ToJSON (h (Type.Membership.TargetOf kv)) => Data.Aeson.Types.ToJSON.ToJSON (Data.Extensible.Field.Field h kv)
- Data.Extensible.Field: instance forall v k (h :: v -> Type) (kv :: Type.Membership.Internal.Assoc k v). Data.Csv.Conversion.FromField (h (Type.Membership.TargetOf kv)) => Data.Csv.Conversion.FromField (Data.Extensible.Field.Field h kv)
- Data.Extensible.Field: instance forall v k (h :: v -> Type) (kv :: Type.Membership.Internal.Assoc k v). Data.Csv.Conversion.ToField (h (Type.Membership.TargetOf kv)) => Data.Csv.Conversion.ToField (Data.Extensible.Field.Field h kv)
- Data.Extensible.Field: instance forall v k (h :: v -> Type) (kv :: Type.Membership.Internal.Assoc k v). Data.Hashable.Class.Hashable (h (Type.Membership.TargetOf kv)) => Data.Hashable.Class.Hashable (Data.Extensible.Field.Field h kv)
- Data.Extensible.Field: instance forall v k (h :: v -> Type) (kv :: Type.Membership.Internal.Assoc k v). Data.Incremental.Incremental (h (Type.Membership.TargetOf kv)) => Data.Incremental.Incremental (Data.Extensible.Field.Field h kv)
- Data.Extensible.Field: instance forall v k (h :: v -> Type) (kv :: Type.Membership.Internal.Assoc k v). Foreign.Storable.Storable (h (Type.Membership.TargetOf kv)) => Foreign.Storable.Storable (Data.Extensible.Field.Field h kv)
- Data.Extensible.Field: instance forall v k (h :: v -> Type) (kv :: Type.Membership.Internal.Assoc k v). GHC.Base.Monoid (h (Type.Membership.TargetOf kv)) => GHC.Base.Monoid (Data.Extensible.Field.Field h kv)
- Data.Extensible.Field: instance forall v k (h :: v -> Type) (kv :: Type.Membership.Internal.Assoc k v). GHC.Base.Semigroup (h (Type.Membership.TargetOf kv)) => GHC.Base.Semigroup (Data.Extensible.Field.Field h kv)
- Data.Extensible.Field: instance forall v k (h :: v -> Type) (kv :: Type.Membership.Internal.Assoc k v). GHC.Classes.Eq (h (Type.Membership.TargetOf kv)) => GHC.Classes.Eq (Data.Extensible.Field.Field h kv)
- Data.Extensible.Field: instance forall v k (h :: v -> Type) (kv :: Type.Membership.Internal.Assoc k v). GHC.Classes.Ord (h (Type.Membership.TargetOf kv)) => GHC.Classes.Ord (Data.Extensible.Field.Field h kv)
- Data.Extensible.Field: instance forall v k (h :: v -> Type) (kv :: Type.Membership.Internal.Assoc k v). GHC.Enum.Bounded (h (Type.Membership.TargetOf kv)) => GHC.Enum.Bounded (Data.Extensible.Field.Field h kv)
- Data.Extensible.Field: instance forall v k (h :: v -> Type) (kv :: Type.Membership.Internal.Assoc k v). GHC.Enum.Enum (h (Type.Membership.TargetOf kv)) => GHC.Enum.Enum (Data.Extensible.Field.Field h kv)
- Data.Extensible.Field: instance forall v k (h :: v -> Type) (kv :: Type.Membership.Internal.Assoc k v). GHC.Float.Floating (h (Type.Membership.TargetOf kv)) => GHC.Float.Floating (Data.Extensible.Field.Field h kv)
- Data.Extensible.Field: instance forall v k (h :: v -> Type) (kv :: Type.Membership.Internal.Assoc k v). GHC.Float.RealFloat (h (Type.Membership.TargetOf kv)) => GHC.Float.RealFloat (Data.Extensible.Field.Field h kv)
- Data.Extensible.Field: instance forall v k (h :: v -> Type) (kv :: Type.Membership.Internal.Assoc k v). GHC.Num.Num (h (Type.Membership.TargetOf kv)) => GHC.Num.Num (Data.Extensible.Field.Field h kv)
- Data.Extensible.Field: instance forall v k (h :: v -> Type) (kv :: Type.Membership.Internal.Assoc k v). GHC.Real.Fractional (h (Type.Membership.TargetOf kv)) => GHC.Real.Fractional (Data.Extensible.Field.Field h kv)
- Data.Extensible.Field: instance forall v k (h :: v -> Type) (kv :: Type.Membership.Internal.Assoc k v). GHC.Real.Integral (h (Type.Membership.TargetOf kv)) => GHC.Real.Integral (Data.Extensible.Field.Field h kv)
- Data.Extensible.Field: instance forall v k (h :: v -> Type) (kv :: Type.Membership.Internal.Assoc k v). GHC.Real.Real (h (Type.Membership.TargetOf kv)) => GHC.Real.Real (Data.Extensible.Field.Field h kv)
- Data.Extensible.Field: instance forall v k (h :: v -> Type) (kv :: Type.Membership.Internal.Assoc k v). GHC.Real.RealFrac (h (Type.Membership.TargetOf kv)) => GHC.Real.RealFrac (Data.Extensible.Field.Field h kv)
- Data.Extensible.Field: instance forall v k (h :: v -> Type) (kv :: Type.Membership.Internal.Assoc k v). Language.Haskell.TH.Syntax.Lift (h (Type.Membership.TargetOf kv)) => Language.Haskell.TH.Syntax.Lift (Data.Extensible.Field.Field h kv)
- Data.Extensible.Field: instance forall v k (h :: v -> Type) (kv :: Type.Membership.Internal.Assoc k v). Test.QuickCheck.Arbitrary.Arbitrary (h (Type.Membership.TargetOf kv)) => Test.QuickCheck.Arbitrary.Arbitrary (Data.Extensible.Field.Field h kv)
- Data.Extensible.Field: instance forall v k (h :: v -> Type) (x :: Type.Membership.Internal.Assoc k v). Data.Vector.Unboxed.Base.Unbox (h (Type.Membership.TargetOf x)) => Data.Vector.Generic.Base.Vector Data.Vector.Unboxed.Base.Vector (Data.Extensible.Field.Field h x)
- Data.Extensible.Field: instance forall v k (h :: v -> Type) (x :: Type.Membership.Internal.Assoc k v). Data.Vector.Unboxed.Base.Unbox (h (Type.Membership.TargetOf x)) => Data.Vector.Generic.Mutable.Base.MVector Data.Vector.Unboxed.Base.MVector (Data.Extensible.Field.Field h x)
- Data.Extensible.Field: instance forall v k (h :: v -> Type) (x :: Type.Membership.Internal.Assoc k v). Data.Vector.Unboxed.Base.Unbox (h (Type.Membership.TargetOf x)) => Data.Vector.Unboxed.Base.Unbox (Data.Extensible.Field.Field h x)
- Data.Extensible.Field: instance forall v k (h :: v -> Type). Data.Extensible.Wrapper.Wrapper h => Data.Extensible.Wrapper.Wrapper (Data.Extensible.Field.Field h)
- Data.Extensible.Field: instance forall v1 (k :: GHC.Types.Symbol) (h :: v1 -> Type) (v2 :: v1). (GHC.TypeLits.KnownSymbol k, Data.Extensible.Wrapper.Wrapper h, GHC.Show.Show (Data.Extensible.Wrapper.Repr h v2)) => GHC.Show.Show (Data.Extensible.Field.Field h (k 'Type.Membership.Internal.:> v2))
- Data.Extensible.Field: instance forall v1 (k :: GHC.Types.Symbol) (h :: v1 -> Type) (v2 :: v1). (GHC.TypeLits.KnownSymbol k, Prettyprinter.Internal.Pretty (h v2)) => Prettyprinter.Internal.Pretty (Data.Extensible.Field.Field h (k 'Type.Membership.Internal.:> v2))
- Data.Extensible.GetOpt: instance forall k (h :: k -> Type). Data.Extensible.Wrapper.Wrapper (Data.Extensible.GetOpt.OptionDescr h)
- Data.Extensible.Label: instance forall v1 (f :: Type -> Type) (p :: Type -> Type -> Type) (e :: [Type.Membership.Internal.Assoc GHC.Types.Symbol v1] -> (Type.Membership.Internal.Assoc GHC.Types.Symbol v1 -> Type) -> Type) (xs :: [Type.Membership.Internal.Assoc GHC.Types.Symbol v1]) (k :: GHC.Types.Symbol) (v2 :: v1) (h :: v1 -> Type) rep s t rep'. (Data.Extensible.Class.Extensible f p e, Type.Membership.Internal.Lookup xs k v2, Data.Extensible.Wrapper.Wrapper h, Data.Extensible.Class.ExtensibleConstr e xs (Data.Extensible.Field.Field h) (k 'Type.Membership.Internal.:> v2), rep GHC.Types.~ Data.Extensible.Wrapper.Repr h v2, s GHC.Types.~ e xs (Data.Extensible.Field.Field h), s GHC.Types.~ t, rep GHC.Types.~ rep') => GHC.OverloadedLabels.IsLabel k (p rep (f rep') -> p s (f t))
- Data.Extensible.Match: instance forall k (h :: k -> Type) r (x :: k). GHC.Base.Monoid r => GHC.Base.Monoid (Data.Extensible.Match.Match h r x)
- Data.Extensible.Match: instance forall k (h :: k -> Type) r (x :: k). GHC.Base.Semigroup r => GHC.Base.Semigroup (Data.Extensible.Match.Match h r x)
- Data.Extensible.Match: instance forall k (h :: k -> Type) r (x :: k). GHC.Generics.Generic (Data.Extensible.Match.Match h r x)
- Data.Extensible.Match: instance forall k (h :: k -> Type) r. Data.Extensible.Wrapper.Wrapper h => Data.Extensible.Wrapper.Wrapper (Data.Extensible.Match.Match h r)
- Data.Extensible.Nullable: instance forall k (h :: k -> Type) (x :: k). Control.DeepSeq.NFData (h x) => Control.DeepSeq.NFData (Data.Extensible.Nullable.Nullable h x)
- Data.Extensible.Nullable: instance forall k (h :: k -> Type) (x :: k). Data.Hashable.Class.Hashable (h x) => Data.Hashable.Class.Hashable (Data.Extensible.Nullable.Nullable h x)
- Data.Extensible.Nullable: instance forall k (h :: k -> Type) (x :: k). GHC.Base.Semigroup (h x) => GHC.Base.Monoid (Data.Extensible.Nullable.Nullable h x)
- Data.Extensible.Nullable: instance forall k (h :: k -> Type) (x :: k). GHC.Base.Semigroup (h x) => GHC.Base.Semigroup (Data.Extensible.Nullable.Nullable h x)
- Data.Extensible.Nullable: instance forall k (h :: k -> Type) (x :: k). GHC.Classes.Eq (h x) => GHC.Classes.Eq (Data.Extensible.Nullable.Nullable h x)
- Data.Extensible.Nullable: instance forall k (h :: k -> Type) (x :: k). GHC.Classes.Ord (h x) => GHC.Classes.Ord (Data.Extensible.Nullable.Nullable h x)
- Data.Extensible.Nullable: instance forall k (h :: k -> Type) (x :: k). GHC.Generics.Generic (Data.Extensible.Nullable.Nullable h x)
- Data.Extensible.Nullable: instance forall k (h :: k -> Type) (x :: k). GHC.Show.Show (h x) => GHC.Show.Show (Data.Extensible.Nullable.Nullable h x)
- Data.Extensible.Nullable: instance forall k (h :: k -> Type) (x :: k). Language.Haskell.TH.Syntax.Lift (h x) => Language.Haskell.TH.Syntax.Lift (Data.Extensible.Nullable.Nullable h x)
- Data.Extensible.Nullable: instance forall k (h :: k -> Type) (x :: k). Test.QuickCheck.Arbitrary.Arbitrary (h x) => Test.QuickCheck.Arbitrary.Arbitrary (Data.Extensible.Nullable.Nullable h x)
- Data.Extensible.Nullable: instance forall k (h :: k -> Type). Data.Extensible.Wrapper.Wrapper h => Data.Extensible.Wrapper.Wrapper (Data.Extensible.Nullable.Nullable h)
- Data.Extensible.Record: instance forall k (f :: k -> Type) (g :: k -> Type) (r :: [Type.Membership.Internal.Assoc GHC.Types.Symbol Type]). (Data.Extensible.Record.GIsRecord f (Data.Extensible.Record.GRecFields g r), Data.Extensible.Record.GIsRecord g r) => Data.Extensible.Record.GIsRecord (f GHC.Generics.:*: g) r
- Data.Extensible.Record: instance forall k (f :: k -> Type) (r :: [Type.Membership.Internal.Assoc GHC.Types.Symbol Type]) (i :: GHC.Generics.Meta). Data.Extensible.Record.GIsRecord f r => Data.Extensible.Record.GIsRecord (GHC.Generics.C1 i f) r
- Data.Extensible.Record: instance forall k (f :: k -> Type) (r :: [Type.Membership.Internal.Assoc GHC.Types.Symbol Type]) (i :: GHC.Generics.Meta). Data.Extensible.Record.GIsRecord f r => Data.Extensible.Record.GIsRecord (GHC.Generics.D1 i f) r
- Data.Extensible.Record: type family RecFields a :: [Assoc Symbol Type];
- Data.Extensible.Struct: instance forall k s (h :: k -> Type) a. (s GHC.Types.~ GHC.Prim.RealWorld, Data.Extensible.Wrapper.Wrapper h) => Data.StateVar.HasGetter (Data.Extensible.Struct.WrappedPointer s h a) a
- Data.Extensible.Struct: instance forall k s (h :: k -> Type) a. (s GHC.Types.~ GHC.Prim.RealWorld, Data.Extensible.Wrapper.Wrapper h) => Data.StateVar.HasSetter (Data.Extensible.Struct.WrappedPointer s h a) a
- Data.Extensible.Struct: instance forall k s (h :: k -> Type) a. (s GHC.Types.~ GHC.Prim.RealWorld, Data.Extensible.Wrapper.Wrapper h) => Data.StateVar.HasUpdate (Data.Extensible.Struct.WrappedPointer s h a) a a
- Data.Extensible.Tangle: instance forall k (m :: Type -> Type) a (xs :: [k]) (h :: k -> Type). (GHC.Base.Monad m, GHC.Base.Monoid a) => GHC.Base.Monoid (Data.Extensible.Tangle.TangleT xs h m a)
- Data.Extensible.Tangle: instance forall k (m :: Type -> Type) a (xs :: [k]) (h :: k -> Type). (GHC.Base.Monad m, GHC.Base.Semigroup a) => GHC.Base.Semigroup (Data.Extensible.Tangle.TangleT xs h m a)
- Data.Extensible.Tangle: instance forall k (xs :: [k]) (h :: k -> Type) (m :: Type -> Type). GHC.Base.Functor m => GHC.Base.Functor (Data.Extensible.Tangle.TangleT xs h m)
- Data.Extensible.Tangle: instance forall k (xs :: [k]) (h :: k -> Type) (m :: Type -> Type). GHC.Base.Monad m => GHC.Base.Applicative (Data.Extensible.Tangle.TangleT xs h m)
- Data.Extensible.Tangle: instance forall k (xs :: [k]) (h :: k -> Type) (m :: Type -> Type). GHC.Base.Monad m => GHC.Base.Monad (Data.Extensible.Tangle.TangleT xs h m)
- Data.Extensible.Tangle: instance forall k (xs :: [k]) (h :: k -> Type). Control.Monad.Trans.Class.MonadTrans (Data.Extensible.Tangle.TangleT xs h)
- Data.Extensible.Wrapper: instance forall k (f :: Type -> Type) (g :: k -> Type). (GHC.Base.Functor f, Data.Extensible.Wrapper.Wrapper g) => Data.Extensible.Wrapper.Wrapper (Data.Functor.Compose.Compose f g)
- Data.Extensible.Wrapper: instance forall k (f :: k -> Type) (a :: k) (g :: k -> Type). (Control.DeepSeq.NFData (f a), Control.DeepSeq.NFData (g a)) => Control.DeepSeq.NFData (Data.Extensible.Wrapper.Prod f g a)
- Data.Extensible.Wrapper: instance forall k (f :: k -> Type) (a :: k) (g :: k -> Type). (Data.Hashable.Class.Hashable (f a), Data.Hashable.Class.Hashable (g a)) => Data.Hashable.Class.Hashable (Data.Extensible.Wrapper.Prod f g a)
- Data.Extensible.Wrapper: instance forall k (f :: k -> Type) (a :: k) (g :: k -> Type). (GHC.Base.Monoid (f a), GHC.Base.Monoid (g a)) => GHC.Base.Monoid (Data.Extensible.Wrapper.Prod f g a)
- Data.Extensible.Wrapper: instance forall k (f :: k -> Type) (a :: k) (g :: k -> Type). (GHC.Base.Semigroup (f a), GHC.Base.Semigroup (g a)) => GHC.Base.Semigroup (Data.Extensible.Wrapper.Prod f g a)
- Data.Extensible.Wrapper: instance forall k (f :: k -> Type) (a :: k) (g :: k -> Type). (Test.QuickCheck.Arbitrary.Arbitrary (f a), Test.QuickCheck.Arbitrary.Arbitrary (g a)) => Test.QuickCheck.Arbitrary.Arbitrary (Data.Extensible.Wrapper.Prod f g a)
- Data.Extensible.Wrapper: instance forall k (f :: k -> Type) (g :: k -> Type) (a :: k). (GHC.Classes.Eq (f a), GHC.Classes.Eq (g a)) => GHC.Classes.Eq (Data.Extensible.Wrapper.Prod f g a)
- Data.Extensible.Wrapper: instance forall k (f :: k -> Type) (g :: k -> Type) (a :: k). (GHC.Classes.Ord (f a), GHC.Classes.Ord (g a)) => GHC.Classes.Ord (Data.Extensible.Wrapper.Prod f g a)
- Data.Extensible.Wrapper: instance forall k (f :: k -> Type) (g :: k -> Type) (a :: k). (GHC.Show.Show (f a), GHC.Show.Show (g a)) => GHC.Show.Show (Data.Extensible.Wrapper.Prod f g a)
- Data.Extensible.Wrapper: instance forall k (f :: k -> Type) (g :: k -> Type) (a :: k). GHC.Generics.Generic (Data.Extensible.Wrapper.Prod f g a)
- Data.Extensible.Wrapper: instance forall k (f :: k -> Type) (g :: k -> Type). (Data.Extensible.Wrapper.Wrapper f, Data.Extensible.Wrapper.Wrapper g) => Data.Extensible.Wrapper.Wrapper (Data.Extensible.Wrapper.Prod f g)
- Data.Extensible.Wrapper: type family Repr h (v :: k) :: Type;
+ Data.Extensible.Bits: instance (Data.Extensible.Bits.FromBits r a, Data.Extensible.Bits.FromBits r b, n GHC.Types.~ (Data.Extensible.Bits.BitWidth a GHC.TypeNats.+ Data.Extensible.Bits.BitWidth b), n Data.Type.Ord.<= Data.Extensible.Bits.BitWidth r, GHC.TypeNats.KnownNat n) => Data.Extensible.Bits.FromBits r (a, b)
+ Data.Extensible.Bits: instance GHC.Bits.Bits r => Data.Extensible.Bits.FromBits r ()
+ Data.Extensible.Bits: instance forall k (h :: k -> GHC.Types.Type) (xs :: [k]) r. (Type.Membership.Forall (Data.Extensible.Dictionary.Instance1 GHC.Show.Show h) xs, Data.Extensible.Bits.BitFields r xs h) => GHC.Show.Show (Data.Extensible.Bits.BitProd r xs h)
+ Data.Extensible.Bits: instance forall k r (a :: k). GHC.Bits.Bits r => Data.Extensible.Bits.FromBits r (Data.Proxy.Proxy a)
+ Data.Extensible.Bits: instance forall k r (h :: k -> GHC.Types.Type) (xs :: [k]). (GHC.Bits.Bits r, GHC.TypeNats.KnownNat (Data.Extensible.Bits.TotalBits h xs)) => Data.Extensible.Bits.FromBits r (Data.Extensible.Bits.BitProd r xs h)
+ Data.Extensible.Bits: instance forall r k (xs :: [k]) (h :: k -> GHC.Types.Type). Data.Hashable.Class.Hashable r => Data.Hashable.Class.Hashable (Data.Extensible.Bits.BitProd r xs h)
+ Data.Extensible.Bits: instance forall r k (xs :: [k]) (h :: k -> GHC.Types.Type). Foreign.Storable.Storable r => Foreign.Storable.Storable (Data.Extensible.Bits.BitProd r xs h)
+ Data.Extensible.Bits: instance forall r k (xs :: [k]) (h :: k -> GHC.Types.Type). GHC.Classes.Eq r => GHC.Classes.Eq (Data.Extensible.Bits.BitProd r xs h)
+ Data.Extensible.Bits: instance forall r k (xs :: [k]) (h :: k -> GHC.Types.Type). GHC.Classes.Ord r => GHC.Classes.Ord (Data.Extensible.Bits.BitProd r xs h)
+ Data.Extensible.Bits: instance forall r k (xs :: [k]) (h :: k -> GHC.Types.Type). GHC.Enum.Bounded r => GHC.Enum.Bounded (Data.Extensible.Bits.BitProd r xs h)
+ Data.Extensible.Bits: instance forall r k (xs :: [k]) (h :: k -> GHC.Types.Type). GHC.Enum.Enum r => GHC.Enum.Enum (Data.Extensible.Bits.BitProd r xs h)
+ Data.Extensible.Bits: instance forall r k (xs :: [k]) (h :: k -> GHC.Types.Type). GHC.Generics.Generic (Data.Extensible.Bits.BitProd r xs h)
+ Data.Extensible.Bits: instance forall r k (xs :: [k]) (h :: k -> GHC.Types.Type). GHC.Ix.Ix r => GHC.Ix.Ix (Data.Extensible.Bits.BitProd r xs h)
+ Data.Extensible.Bits: instance forall v k r (h :: v -> GHC.Types.Type) (x :: Type.Membership.Internal.Assoc k v). (GHC.Bits.Bits r, Data.Extensible.Bits.FromBits r (h (Type.Membership.TargetOf x))) => Data.Extensible.Bits.FromBits r (Data.Extensible.Field.Field h x)
+ Data.Extensible.Bits: type BitWidth a :: Nat;
+ Data.Extensible.Dictionary: instance forall k (h :: k -> GHC.Types.Type) (x :: k) (xs :: [k]). Data.Extensible.Dictionary.WrapForall Data.Vector.Unboxed.Base.Unbox h (x : xs) => Data.Vector.Generic.Base.Vector Data.Vector.Unboxed.Base.Vector ((x : xs) Data.Extensible.Struct.:& h)
+ Data.Extensible.Dictionary: instance forall k (h :: k -> GHC.Types.Type) (x :: k) (xs :: [k]). Data.Extensible.Dictionary.WrapForall Data.Vector.Unboxed.Base.Unbox h (x : xs) => Data.Vector.Generic.Mutable.Base.MVector Data.Vector.Unboxed.Base.MVector ((x : xs) Data.Extensible.Struct.:& h)
+ Data.Extensible.Dictionary: instance forall k (h :: k -> GHC.Types.Type) (x :: k) (xs :: [k]). Data.Extensible.Dictionary.WrapForall Data.Vector.Unboxed.Base.Unbox h (x : xs) => Data.Vector.Unboxed.Base.Unbox ((x : xs) Data.Extensible.Struct.:& h)
+ Data.Extensible.Dictionary: instance forall k (h :: k -> GHC.Types.Type) (xs :: [k]). (Data.Extensible.Dictionary.WrapForall GHC.Base.Semigroup h xs, Data.Extensible.Dictionary.WrapForall GHC.Base.Monoid h xs) => GHC.Base.Monoid (xs Data.Extensible.Struct.:& h)
+ Data.Extensible.Dictionary: instance forall k (h :: k -> GHC.Types.Type) (xs :: [k]). (Data.Extensible.Dictionary.WrapForall GHC.Classes.Eq h xs, Data.Extensible.Dictionary.WrapForall Data.Hashable.Class.Hashable h xs) => Data.Hashable.Class.Hashable (xs Data.Extensible.Struct.:& h)
+ Data.Extensible.Dictionary: instance forall k (h :: k -> GHC.Types.Type) (xs :: [k]). (Data.Extensible.Dictionary.WrapForall GHC.Classes.Eq h xs, Data.Extensible.Dictionary.WrapForall Data.Hashable.Class.Hashable h xs) => Data.Hashable.Class.Hashable (xs Data.Extensible.Sum.:/ h)
+ Data.Extensible.Dictionary: instance forall k (h :: k -> GHC.Types.Type) (xs :: [k]). Data.Extensible.Dictionary.WrapForall Control.DeepSeq.NFData h xs => Control.DeepSeq.NFData (xs Data.Extensible.Struct.:& h)
+ Data.Extensible.Dictionary: instance forall k (h :: k -> GHC.Types.Type) (xs :: [k]). Data.Extensible.Dictionary.WrapForall Control.DeepSeq.NFData h xs => Control.DeepSeq.NFData (xs Data.Extensible.Sum.:/ h)
+ Data.Extensible.Dictionary: instance forall k (h :: k -> GHC.Types.Type) (xs :: [k]). Data.Extensible.Dictionary.WrapForall Data.Csv.Conversion.FromField h xs => Data.Csv.Conversion.FromRecord (xs Data.Extensible.Struct.:& h)
+ Data.Extensible.Dictionary: instance forall k (h :: k -> GHC.Types.Type) (xs :: [k]). Data.Extensible.Dictionary.WrapForall Data.Csv.Conversion.ToField h xs => Data.Csv.Conversion.ToRecord (xs Data.Extensible.Struct.:& h)
+ Data.Extensible.Dictionary: instance forall k (h :: k -> GHC.Types.Type) (xs :: [k]). Data.Extensible.Dictionary.WrapForall Data.Incremental.Incremental h xs => Data.Incremental.Incremental (xs Data.Extensible.Struct.:& h)
+ Data.Extensible.Dictionary: instance forall k (h :: k -> GHC.Types.Type) (xs :: [k]). Data.Extensible.Dictionary.WrapForall GHC.Base.Semigroup h xs => GHC.Base.Semigroup (xs Data.Extensible.Struct.:& h)
+ Data.Extensible.Dictionary: instance forall k (h :: k -> GHC.Types.Type) (xs :: [k]). Data.Extensible.Dictionary.WrapForall GHC.Classes.Eq h xs => GHC.Classes.Eq (xs Data.Extensible.Struct.:& h)
+ Data.Extensible.Dictionary: instance forall k (h :: k -> GHC.Types.Type) (xs :: [k]). Data.Extensible.Dictionary.WrapForall GHC.Classes.Eq h xs => GHC.Classes.Eq (xs Data.Extensible.Sum.:/ h)
+ Data.Extensible.Dictionary: instance forall k (h :: k -> GHC.Types.Type) (xs :: [k]). Data.Extensible.Dictionary.WrapForall GHC.Enum.Bounded h xs => GHC.Enum.Bounded (xs Data.Extensible.Struct.:& h)
+ Data.Extensible.Dictionary: instance forall k (h :: k -> GHC.Types.Type) (xs :: [k]). Data.Extensible.Dictionary.WrapForall GHC.Show.Show h xs => GHC.Show.Show (xs Data.Extensible.Struct.:& h)
+ Data.Extensible.Dictionary: instance forall k (h :: k -> GHC.Types.Type) (xs :: [k]). Data.Extensible.Dictionary.WrapForall GHC.Show.Show h xs => GHC.Show.Show (xs Data.Extensible.Sum.:/ h)
+ Data.Extensible.Dictionary: instance forall k (h :: k -> GHC.Types.Type) (xs :: [k]). Data.Extensible.Dictionary.WrapForall Language.Haskell.TH.Syntax.Lift h xs => Language.Haskell.TH.Syntax.Lift (xs Data.Extensible.Struct.:& h)
+ Data.Extensible.Dictionary: instance forall k (h :: k -> GHC.Types.Type) (xs :: [k]). Data.Extensible.Dictionary.WrapForall Language.Haskell.TH.Syntax.Lift h xs => Language.Haskell.TH.Syntax.Lift (xs Data.Extensible.Sum.:/ h)
+ Data.Extensible.Dictionary: instance forall k (h :: k -> GHC.Types.Type) (xs :: [k]). Data.Extensible.Dictionary.WrapForall Prettyprinter.Internal.Pretty h xs => Prettyprinter.Internal.Pretty (xs Data.Extensible.Struct.:& h)
+ Data.Extensible.Dictionary: instance forall k (h :: k -> GHC.Types.Type) (xs :: [k]). Data.Extensible.Dictionary.WrapForall Prettyprinter.Internal.Pretty h xs => Prettyprinter.Internal.Pretty (xs Data.Extensible.Sum.:/ h)
+ Data.Extensible.Dictionary: instance forall k (h :: k -> GHC.Types.Type) (xs :: [k]). Data.Extensible.Dictionary.WrapForall Test.QuickCheck.Arbitrary.Arbitrary h xs => Test.QuickCheck.Arbitrary.Arbitrary (xs Data.Extensible.Struct.:& h)
+ Data.Extensible.Dictionary: instance forall k (h :: k -> GHC.Types.Type) (xs :: [k]). Data.Extensible.Dictionary.WrapForall Test.QuickCheck.Arbitrary.Arbitrary h xs => Test.QuickCheck.Arbitrary.Arbitrary (xs Data.Extensible.Sum.:/ h)
+ Data.Extensible.Dictionary: instance forall k (xs :: [k]) (h :: k -> GHC.Types.Type). (GHC.Classes.Eq (xs Data.Extensible.Struct.:& h), Data.Extensible.Dictionary.WrapForall GHC.Classes.Ord h xs) => GHC.Classes.Ord (xs Data.Extensible.Struct.:& h)
+ Data.Extensible.Dictionary: instance forall k (xs :: [k]) (h :: k -> GHC.Types.Type). (GHC.Classes.Eq (xs Data.Extensible.Sum.:/ h), Data.Extensible.Dictionary.WrapForall GHC.Classes.Ord h xs) => GHC.Classes.Ord (xs Data.Extensible.Sum.:/ h)
+ Data.Extensible.Dictionary: instance forall k1 v1 (xs :: [Type.Membership.Internal.Assoc k1 v1]) (k2 :: k1) (v2 :: v1) (h :: v1 -> GHC.Types.Type) a. (Type.Membership.Internal.Lookup xs k2 v2, Data.Extensible.Wrapper.Wrapper h, Data.Extensible.Wrapper.Repr h v2 GHC.Types.~ a) => GHC.Records.HasField k2 (Data.Extensible.Field.RecordOf h xs) a
+ Data.Extensible.Dictionary: instance forall v (h :: v -> GHC.Types.Type) (xs :: [Type.Membership.Internal.Assoc GHC.Types.Symbol v]). Type.Membership.Forall (Type.Membership.KeyTargetAre GHC.TypeLits.KnownSymbol (Data.Extensible.Dictionary.Instance1 Data.Aeson.Types.FromJSON.FromJSON h)) xs => Data.Aeson.Types.FromJSON.FromJSON (xs Data.Extensible.Struct.:& Data.Extensible.Field.Field h)
+ Data.Extensible.Dictionary: instance forall v (h :: v -> GHC.Types.Type) (xs :: [Type.Membership.Internal.Assoc GHC.Types.Symbol v]). Type.Membership.Forall (Type.Membership.KeyTargetAre GHC.TypeLits.KnownSymbol (Data.Extensible.Dictionary.Instance1 Data.Aeson.Types.FromJSON.FromJSON h)) xs => Data.Aeson.Types.FromJSON.FromJSON (xs Data.Extensible.Struct.:& Data.Extensible.Nullable.Nullable (Data.Extensible.Field.Field h))
+ Data.Extensible.Dictionary: instance forall v (h :: v -> GHC.Types.Type) (xs :: [Type.Membership.Internal.Assoc GHC.Types.Symbol v]). Type.Membership.Forall (Type.Membership.KeyTargetAre GHC.TypeLits.KnownSymbol (Data.Extensible.Dictionary.Instance1 Data.Aeson.Types.ToJSON.ToJSON h)) xs => Data.Aeson.Types.ToJSON.ToJSON (xs Data.Extensible.Struct.:& Data.Extensible.Field.Field h)
+ Data.Extensible.Dictionary: instance forall v (h :: v -> GHC.Types.Type) (xs :: [Type.Membership.Internal.Assoc GHC.Types.Symbol v]). Type.Membership.Forall (Type.Membership.KeyTargetAre GHC.TypeLits.KnownSymbol (Data.Extensible.Dictionary.Instance1 Data.Aeson.Types.ToJSON.ToJSON h)) xs => Data.Aeson.Types.ToJSON.ToJSON (xs Data.Extensible.Struct.:& Data.Extensible.Nullable.Nullable (Data.Extensible.Field.Field h))
+ Data.Extensible.Dictionary: instance forall v (h :: v -> GHC.Types.Type) (xs :: [Type.Membership.Internal.Assoc GHC.Types.Symbol v]). Type.Membership.Forall (Type.Membership.KeyTargetAre GHC.TypeLits.KnownSymbol (Data.Extensible.Dictionary.Instance1 Data.Csv.Conversion.FromField h)) xs => Data.Csv.Conversion.FromNamedRecord (xs Data.Extensible.Struct.:& Data.Extensible.Field.Field h)
+ Data.Extensible.Dictionary: instance forall v (h :: v -> GHC.Types.Type) (xs :: [Type.Membership.Internal.Assoc GHC.Types.Symbol v]). Type.Membership.Forall (Type.Membership.KeyTargetAre GHC.TypeLits.KnownSymbol (Data.Extensible.Dictionary.Instance1 Data.Csv.Conversion.ToField h)) xs => Data.Csv.Conversion.ToNamedRecord (xs Data.Extensible.Struct.:& Data.Extensible.Field.Field h)
+ Data.Extensible.Dictionary: instance forall v (xs :: [Type.Membership.Internal.Assoc GHC.Types.Symbol v]) (h :: v -> GHC.Types.Type). Type.Membership.Forall (Type.Membership.KeyIs GHC.TypeLits.KnownSymbol) xs => Data.Csv.Conversion.DefaultOrdered (Data.Extensible.Field.RecordOf h xs)
+ Data.Extensible.Field: instance forall v (h :: v -> GHC.Types.Type) k (kv :: Type.Membership.Internal.Assoc k v). GHC.Generics.Generic (Data.Extensible.Field.Field h kv)
+ Data.Extensible.Field: instance forall v k (h :: v -> GHC.Types.Type) (kv :: Type.Membership.Internal.Assoc k v). Control.DeepSeq.NFData (h (Type.Membership.TargetOf kv)) => Control.DeepSeq.NFData (Data.Extensible.Field.Field h kv)
+ Data.Extensible.Field: instance forall v k (h :: v -> GHC.Types.Type) (kv :: Type.Membership.Internal.Assoc k v). Data.Aeson.Types.FromJSON.FromJSON (h (Type.Membership.TargetOf kv)) => Data.Aeson.Types.FromJSON.FromJSON (Data.Extensible.Field.Field h kv)
+ Data.Extensible.Field: instance forall v k (h :: v -> GHC.Types.Type) (kv :: Type.Membership.Internal.Assoc k v). Data.Aeson.Types.ToJSON.ToJSON (h (Type.Membership.TargetOf kv)) => Data.Aeson.Types.ToJSON.ToJSON (Data.Extensible.Field.Field h kv)
+ Data.Extensible.Field: instance forall v k (h :: v -> GHC.Types.Type) (kv :: Type.Membership.Internal.Assoc k v). Data.Csv.Conversion.FromField (h (Type.Membership.TargetOf kv)) => Data.Csv.Conversion.FromField (Data.Extensible.Field.Field h kv)
+ Data.Extensible.Field: instance forall v k (h :: v -> GHC.Types.Type) (kv :: Type.Membership.Internal.Assoc k v). Data.Csv.Conversion.ToField (h (Type.Membership.TargetOf kv)) => Data.Csv.Conversion.ToField (Data.Extensible.Field.Field h kv)
+ Data.Extensible.Field: instance forall v k (h :: v -> GHC.Types.Type) (kv :: Type.Membership.Internal.Assoc k v). Data.Hashable.Class.Hashable (h (Type.Membership.TargetOf kv)) => Data.Hashable.Class.Hashable (Data.Extensible.Field.Field h kv)
+ Data.Extensible.Field: instance forall v k (h :: v -> GHC.Types.Type) (kv :: Type.Membership.Internal.Assoc k v). Data.Incremental.Incremental (h (Type.Membership.TargetOf kv)) => Data.Incremental.Incremental (Data.Extensible.Field.Field h kv)
+ Data.Extensible.Field: instance forall v k (h :: v -> GHC.Types.Type) (kv :: Type.Membership.Internal.Assoc k v). Foreign.Storable.Storable (h (Type.Membership.TargetOf kv)) => Foreign.Storable.Storable (Data.Extensible.Field.Field h kv)
+ Data.Extensible.Field: instance forall v k (h :: v -> GHC.Types.Type) (kv :: Type.Membership.Internal.Assoc k v). GHC.Base.Monoid (h (Type.Membership.TargetOf kv)) => GHC.Base.Monoid (Data.Extensible.Field.Field h kv)
+ Data.Extensible.Field: instance forall v k (h :: v -> GHC.Types.Type) (kv :: Type.Membership.Internal.Assoc k v). GHC.Base.Semigroup (h (Type.Membership.TargetOf kv)) => GHC.Base.Semigroup (Data.Extensible.Field.Field h kv)
+ Data.Extensible.Field: instance forall v k (h :: v -> GHC.Types.Type) (kv :: Type.Membership.Internal.Assoc k v). GHC.Classes.Eq (h (Type.Membership.TargetOf kv)) => GHC.Classes.Eq (Data.Extensible.Field.Field h kv)
+ Data.Extensible.Field: instance forall v k (h :: v -> GHC.Types.Type) (kv :: Type.Membership.Internal.Assoc k v). GHC.Classes.Ord (h (Type.Membership.TargetOf kv)) => GHC.Classes.Ord (Data.Extensible.Field.Field h kv)
+ Data.Extensible.Field: instance forall v k (h :: v -> GHC.Types.Type) (kv :: Type.Membership.Internal.Assoc k v). GHC.Enum.Bounded (h (Type.Membership.TargetOf kv)) => GHC.Enum.Bounded (Data.Extensible.Field.Field h kv)
+ Data.Extensible.Field: instance forall v k (h :: v -> GHC.Types.Type) (kv :: Type.Membership.Internal.Assoc k v). GHC.Enum.Enum (h (Type.Membership.TargetOf kv)) => GHC.Enum.Enum (Data.Extensible.Field.Field h kv)
+ Data.Extensible.Field: instance forall v k (h :: v -> GHC.Types.Type) (kv :: Type.Membership.Internal.Assoc k v). GHC.Float.Floating (h (Type.Membership.TargetOf kv)) => GHC.Float.Floating (Data.Extensible.Field.Field h kv)
+ Data.Extensible.Field: instance forall v k (h :: v -> GHC.Types.Type) (kv :: Type.Membership.Internal.Assoc k v). GHC.Float.RealFloat (h (Type.Membership.TargetOf kv)) => GHC.Float.RealFloat (Data.Extensible.Field.Field h kv)
+ Data.Extensible.Field: instance forall v k (h :: v -> GHC.Types.Type) (kv :: Type.Membership.Internal.Assoc k v). GHC.Num.Num (h (Type.Membership.TargetOf kv)) => GHC.Num.Num (Data.Extensible.Field.Field h kv)
+ Data.Extensible.Field: instance forall v k (h :: v -> GHC.Types.Type) (kv :: Type.Membership.Internal.Assoc k v). GHC.Real.Fractional (h (Type.Membership.TargetOf kv)) => GHC.Real.Fractional (Data.Extensible.Field.Field h kv)
+ Data.Extensible.Field: instance forall v k (h :: v -> GHC.Types.Type) (kv :: Type.Membership.Internal.Assoc k v). GHC.Real.Integral (h (Type.Membership.TargetOf kv)) => GHC.Real.Integral (Data.Extensible.Field.Field h kv)
+ Data.Extensible.Field: instance forall v k (h :: v -> GHC.Types.Type) (kv :: Type.Membership.Internal.Assoc k v). GHC.Real.Real (h (Type.Membership.TargetOf kv)) => GHC.Real.Real (Data.Extensible.Field.Field h kv)
+ Data.Extensible.Field: instance forall v k (h :: v -> GHC.Types.Type) (kv :: Type.Membership.Internal.Assoc k v). GHC.Real.RealFrac (h (Type.Membership.TargetOf kv)) => GHC.Real.RealFrac (Data.Extensible.Field.Field h kv)
+ Data.Extensible.Field: instance forall v k (h :: v -> GHC.Types.Type) (kv :: Type.Membership.Internal.Assoc k v). Language.Haskell.TH.Syntax.Lift (h (Type.Membership.TargetOf kv)) => Language.Haskell.TH.Syntax.Lift (Data.Extensible.Field.Field h kv)
+ Data.Extensible.Field: instance forall v k (h :: v -> GHC.Types.Type) (kv :: Type.Membership.Internal.Assoc k v). Test.QuickCheck.Arbitrary.Arbitrary (h (Type.Membership.TargetOf kv)) => Test.QuickCheck.Arbitrary.Arbitrary (Data.Extensible.Field.Field h kv)
+ Data.Extensible.Field: instance forall v k (h :: v -> GHC.Types.Type) (x :: Type.Membership.Internal.Assoc k v). Data.Vector.Unboxed.Base.Unbox (h (Type.Membership.TargetOf x)) => Data.Vector.Generic.Base.Vector Data.Vector.Unboxed.Base.Vector (Data.Extensible.Field.Field h x)
+ Data.Extensible.Field: instance forall v k (h :: v -> GHC.Types.Type) (x :: Type.Membership.Internal.Assoc k v). Data.Vector.Unboxed.Base.Unbox (h (Type.Membership.TargetOf x)) => Data.Vector.Generic.Mutable.Base.MVector Data.Vector.Unboxed.Base.MVector (Data.Extensible.Field.Field h x)
+ Data.Extensible.Field: instance forall v k (h :: v -> GHC.Types.Type) (x :: Type.Membership.Internal.Assoc k v). Data.Vector.Unboxed.Base.Unbox (h (Type.Membership.TargetOf x)) => Data.Vector.Unboxed.Base.Unbox (Data.Extensible.Field.Field h x)
+ Data.Extensible.Field: instance forall v k (h :: v -> GHC.Types.Type). Data.Extensible.Wrapper.Wrapper h => Data.Extensible.Wrapper.Wrapper (Data.Extensible.Field.Field h)
+ Data.Extensible.Field: instance forall v1 (k :: GHC.Types.Symbol) (h :: v1 -> GHC.Types.Type) (v2 :: v1). (GHC.TypeLits.KnownSymbol k, Data.Extensible.Wrapper.Wrapper h, GHC.Show.Show (Data.Extensible.Wrapper.Repr h v2)) => GHC.Show.Show (Data.Extensible.Field.Field h (k 'Type.Membership.Internal.:> v2))
+ Data.Extensible.Field: instance forall v1 (k :: GHC.Types.Symbol) (h :: v1 -> GHC.Types.Type) (v2 :: v1). (GHC.TypeLits.KnownSymbol k, Prettyprinter.Internal.Pretty (h v2)) => Prettyprinter.Internal.Pretty (Data.Extensible.Field.Field h (k 'Type.Membership.Internal.:> v2))
+ Data.Extensible.GetOpt: instance forall k (h :: k -> GHC.Types.Type). Data.Extensible.Wrapper.Wrapper (Data.Extensible.GetOpt.OptionDescr h)
+ Data.Extensible.Label: instance forall v1 (f :: GHC.Types.Type -> GHC.Types.Type) (p :: GHC.Types.Type -> GHC.Types.Type -> GHC.Types.Type) (e :: [Type.Membership.Internal.Assoc GHC.Types.Symbol v1] -> (Type.Membership.Internal.Assoc GHC.Types.Symbol v1 -> GHC.Types.Type) -> GHC.Types.Type) (xs :: [Type.Membership.Internal.Assoc GHC.Types.Symbol v1]) (k :: GHC.Types.Symbol) (v2 :: v1) (h :: v1 -> GHC.Types.Type) rep s t rep'. (Data.Extensible.Class.Extensible f p e, Type.Membership.Internal.Lookup xs k v2, Data.Extensible.Wrapper.Wrapper h, Data.Extensible.Class.ExtensibleConstr e xs (Data.Extensible.Field.Field h) (k 'Type.Membership.Internal.:> v2), rep GHC.Types.~ Data.Extensible.Wrapper.Repr h v2, s GHC.Types.~ e xs (Data.Extensible.Field.Field h), s GHC.Types.~ t, rep GHC.Types.~ rep') => GHC.OverloadedLabels.IsLabel k (p rep (f rep') -> p s (f t))
+ Data.Extensible.Match: instance forall k (h :: k -> GHC.Types.Type) r (x :: k). GHC.Base.Monoid r => GHC.Base.Monoid (Data.Extensible.Match.Match h r x)
+ Data.Extensible.Match: instance forall k (h :: k -> GHC.Types.Type) r (x :: k). GHC.Base.Semigroup r => GHC.Base.Semigroup (Data.Extensible.Match.Match h r x)
+ Data.Extensible.Match: instance forall k (h :: k -> GHC.Types.Type) r (x :: k). GHC.Generics.Generic (Data.Extensible.Match.Match h r x)
+ Data.Extensible.Match: instance forall k (h :: k -> GHC.Types.Type) r. Data.Extensible.Wrapper.Wrapper h => Data.Extensible.Wrapper.Wrapper (Data.Extensible.Match.Match h r)
+ Data.Extensible.Nullable: coinclusionAssoc :: (IncludeAssoc ys xs, Generate ys) => ys :& Nullable (Membership xs)
+ Data.Extensible.Nullable: instance forall k (h :: k -> GHC.Types.Type) (x :: k). Control.DeepSeq.NFData (h x) => Control.DeepSeq.NFData (Data.Extensible.Nullable.Nullable h x)
+ Data.Extensible.Nullable: instance forall k (h :: k -> GHC.Types.Type) (x :: k). Data.Hashable.Class.Hashable (h x) => Data.Hashable.Class.Hashable (Data.Extensible.Nullable.Nullable h x)
+ Data.Extensible.Nullable: instance forall k (h :: k -> GHC.Types.Type) (x :: k). GHC.Base.Semigroup (h x) => GHC.Base.Monoid (Data.Extensible.Nullable.Nullable h x)
+ Data.Extensible.Nullable: instance forall k (h :: k -> GHC.Types.Type) (x :: k). GHC.Base.Semigroup (h x) => GHC.Base.Semigroup (Data.Extensible.Nullable.Nullable h x)
+ Data.Extensible.Nullable: instance forall k (h :: k -> GHC.Types.Type) (x :: k). GHC.Classes.Eq (h x) => GHC.Classes.Eq (Data.Extensible.Nullable.Nullable h x)
+ Data.Extensible.Nullable: instance forall k (h :: k -> GHC.Types.Type) (x :: k). GHC.Classes.Ord (h x) => GHC.Classes.Ord (Data.Extensible.Nullable.Nullable h x)
+ Data.Extensible.Nullable: instance forall k (h :: k -> GHC.Types.Type) (x :: k). GHC.Generics.Generic (Data.Extensible.Nullable.Nullable h x)
+ Data.Extensible.Nullable: instance forall k (h :: k -> GHC.Types.Type) (x :: k). GHC.Show.Show (h x) => GHC.Show.Show (Data.Extensible.Nullable.Nullable h x)
+ Data.Extensible.Nullable: instance forall k (h :: k -> GHC.Types.Type) (x :: k). Language.Haskell.TH.Syntax.Lift (h x) => Language.Haskell.TH.Syntax.Lift (Data.Extensible.Nullable.Nullable h x)
+ Data.Extensible.Nullable: instance forall k (h :: k -> GHC.Types.Type) (x :: k). Test.QuickCheck.Arbitrary.Arbitrary (h x) => Test.QuickCheck.Arbitrary.Arbitrary (Data.Extensible.Nullable.Nullable h x)
+ Data.Extensible.Nullable: instance forall k (h :: k -> GHC.Types.Type). Data.Extensible.Wrapper.Wrapper h => Data.Extensible.Wrapper.Wrapper (Data.Extensible.Nullable.Nullable h)
+ Data.Extensible.Nullable: retrenchAssoc :: (Generate ys, IncludeAssoc ys xs) => (ys :/ h) -> Nullable ((:/) xs) h
+ Data.Extensible.Nullable: wrenchAssoc :: (Generate ys, IncludeAssoc ys xs) => (xs :& h) -> ys :& Nullable h
+ Data.Extensible.Record: instance forall k (f :: k -> GHC.Types.Type) (g :: k -> GHC.Types.Type) (r :: [Type.Membership.Internal.Assoc GHC.Types.Symbol GHC.Types.Type]). (Data.Extensible.Record.GIsRecord f (Data.Extensible.Record.GRecFields g r), Data.Extensible.Record.GIsRecord g r) => Data.Extensible.Record.GIsRecord (f GHC.Generics.:*: g) r
+ Data.Extensible.Record: instance forall k (f :: k -> GHC.Types.Type) (r :: [Type.Membership.Internal.Assoc GHC.Types.Symbol GHC.Types.Type]) (i :: GHC.Generics.Meta). Data.Extensible.Record.GIsRecord f r => Data.Extensible.Record.GIsRecord (GHC.Generics.C1 i f) r
+ Data.Extensible.Record: instance forall k (f :: k -> GHC.Types.Type) (r :: [Type.Membership.Internal.Assoc GHC.Types.Symbol GHC.Types.Type]) (i :: GHC.Generics.Meta). Data.Extensible.Record.GIsRecord f r => Data.Extensible.Record.GIsRecord (GHC.Generics.D1 i f) r
+ Data.Extensible.Struct: instance forall k s (h :: k -> GHC.Types.Type) a. (s GHC.Types.~ GHC.Prim.RealWorld, Data.Extensible.Wrapper.Wrapper h) => Data.StateVar.HasGetter (Data.Extensible.Struct.WrappedPointer s h a) a
+ Data.Extensible.Struct: instance forall k s (h :: k -> GHC.Types.Type) a. (s GHC.Types.~ GHC.Prim.RealWorld, Data.Extensible.Wrapper.Wrapper h) => Data.StateVar.HasSetter (Data.Extensible.Struct.WrappedPointer s h a) a
+ Data.Extensible.Struct: instance forall k s (h :: k -> GHC.Types.Type) a. (s GHC.Types.~ GHC.Prim.RealWorld, Data.Extensible.Wrapper.Wrapper h) => Data.StateVar.HasUpdate (Data.Extensible.Struct.WrappedPointer s h a) a a
+ Data.Extensible.Tangle: instance forall k (m :: GHC.Types.Type -> GHC.Types.Type) a (xs :: [k]) (h :: k -> GHC.Types.Type). (GHC.Base.Monad m, GHC.Base.Monoid a) => GHC.Base.Monoid (Data.Extensible.Tangle.TangleT xs h m a)
+ Data.Extensible.Tangle: instance forall k (m :: GHC.Types.Type -> GHC.Types.Type) a (xs :: [k]) (h :: k -> GHC.Types.Type). (GHC.Base.Monad m, GHC.Base.Semigroup a) => GHC.Base.Semigroup (Data.Extensible.Tangle.TangleT xs h m a)
+ Data.Extensible.Tangle: instance forall k (xs :: [k]) (h :: k -> GHC.Types.Type) (m :: GHC.Types.Type -> GHC.Types.Type). GHC.Base.Functor m => GHC.Base.Functor (Data.Extensible.Tangle.TangleT xs h m)
+ Data.Extensible.Tangle: instance forall k (xs :: [k]) (h :: k -> GHC.Types.Type) (m :: GHC.Types.Type -> GHC.Types.Type). GHC.Base.Monad m => GHC.Base.Applicative (Data.Extensible.Tangle.TangleT xs h m)
+ Data.Extensible.Tangle: instance forall k (xs :: [k]) (h :: k -> GHC.Types.Type) (m :: GHC.Types.Type -> GHC.Types.Type). GHC.Base.Monad m => GHC.Base.Monad (Data.Extensible.Tangle.TangleT xs h m)
+ Data.Extensible.Tangle: instance forall k (xs :: [k]) (h :: k -> GHC.Types.Type). Control.Monad.Trans.Class.MonadTrans (Data.Extensible.Tangle.TangleT xs h)
+ Data.Extensible.Wrapper: instance forall k (f :: GHC.Types.Type -> GHC.Types.Type) (g :: k -> GHC.Types.Type). (GHC.Base.Functor f, Data.Extensible.Wrapper.Wrapper g) => Data.Extensible.Wrapper.Wrapper (Data.Functor.Compose.Compose f g)
+ Data.Extensible.Wrapper: instance forall k (f :: k -> GHC.Types.Type) (a :: k) (g :: k -> GHC.Types.Type). (Control.DeepSeq.NFData (f a), Control.DeepSeq.NFData (g a)) => Control.DeepSeq.NFData (Data.Extensible.Wrapper.Prod f g a)
+ Data.Extensible.Wrapper: instance forall k (f :: k -> GHC.Types.Type) (a :: k) (g :: k -> GHC.Types.Type). (Data.Hashable.Class.Hashable (f a), Data.Hashable.Class.Hashable (g a)) => Data.Hashable.Class.Hashable (Data.Extensible.Wrapper.Prod f g a)
+ Data.Extensible.Wrapper: instance forall k (f :: k -> GHC.Types.Type) (a :: k) (g :: k -> GHC.Types.Type). (GHC.Base.Monoid (f a), GHC.Base.Monoid (g a)) => GHC.Base.Monoid (Data.Extensible.Wrapper.Prod f g a)
+ Data.Extensible.Wrapper: instance forall k (f :: k -> GHC.Types.Type) (a :: k) (g :: k -> GHC.Types.Type). (GHC.Base.Semigroup (f a), GHC.Base.Semigroup (g a)) => GHC.Base.Semigroup (Data.Extensible.Wrapper.Prod f g a)
+ Data.Extensible.Wrapper: instance forall k (f :: k -> GHC.Types.Type) (a :: k) (g :: k -> GHC.Types.Type). (Test.QuickCheck.Arbitrary.Arbitrary (f a), Test.QuickCheck.Arbitrary.Arbitrary (g a)) => Test.QuickCheck.Arbitrary.Arbitrary (Data.Extensible.Wrapper.Prod f g a)
+ Data.Extensible.Wrapper: instance forall k (f :: k -> GHC.Types.Type) (g :: k -> GHC.Types.Type) (a :: k). (GHC.Classes.Eq (f a), GHC.Classes.Eq (g a)) => GHC.Classes.Eq (Data.Extensible.Wrapper.Prod f g a)
+ Data.Extensible.Wrapper: instance forall k (f :: k -> GHC.Types.Type) (g :: k -> GHC.Types.Type) (a :: k). (GHC.Classes.Ord (f a), GHC.Classes.Ord (g a)) => GHC.Classes.Ord (Data.Extensible.Wrapper.Prod f g a)
+ Data.Extensible.Wrapper: instance forall k (f :: k -> GHC.Types.Type) (g :: k -> GHC.Types.Type) (a :: k). (GHC.Show.Show (f a), GHC.Show.Show (g a)) => GHC.Show.Show (Data.Extensible.Wrapper.Prod f g a)
+ Data.Extensible.Wrapper: instance forall k (f :: k -> GHC.Types.Type) (g :: k -> GHC.Types.Type) (a :: k). GHC.Generics.Generic (Data.Extensible.Wrapper.Prod f g a)
+ Data.Extensible.Wrapper: instance forall k (f :: k -> GHC.Types.Type) (g :: k -> GHC.Types.Type). (Data.Extensible.Wrapper.Wrapper f, Data.Extensible.Wrapper.Wrapper g) => Data.Extensible.Wrapper.Wrapper (Data.Extensible.Wrapper.Prod f g)
+ Data.Extensible.Wrapper: type Repr h (v :: k) :: Type;
- Data.Extensible: class KnownSymbol (n :: Symbol)
+ Data.Extensible: class () => KnownSymbol (n :: Symbol)
- Data.Extensible: data Proxy (t :: k)
+ Data.Extensible: data () => Proxy (t :: k)
- Data.Extensible: newtype Compose (f :: k -> Type) (g :: k1 -> k) (a :: k1)
+ Data.Extensible: newtype () => Compose (f :: k -> Type) (g :: k1 -> k) (a :: k1)
- Data.Extensible.Class: association :: Lookup xs k2 v => Membership xs (k2 :> v)
+ Data.Extensible.Class: association :: Lookup xs k1 v1 => Membership xs (k1 ':> v1)
- Data.Extensible.Class: class Generate (xs :: [k])
+ Data.Extensible.Class: class () => Generate (xs :: [k])
- Data.Extensible.Class: class Lookup (xs :: [Assoc k k1]) (k2 :: k) (v :: k1) | k2 xs -> v
+ Data.Extensible.Class: class () => Lookup (xs :: [Assoc k v]) (k1 :: k) (v1 :: v) | k1 xs -> v1
- Data.Extensible.Class: class Member (xs :: [k]) (x :: k)
+ Data.Extensible.Class: class () => Member (xs :: [k]) (x :: k)
- Data.Extensible.Class: compareMembership :: forall k (xs :: [k]) (x :: k) (y :: k). Membership xs x -> Membership xs y -> Either Ordering (x :~: y)
+ Data.Extensible.Class: compareMembership :: forall {k} (xs :: [k]) (x :: k) (y :: k). Membership xs x -> Membership xs y -> Either Ordering (x :~: y)
- Data.Extensible.Class: data Assoc k v
+ Data.Extensible.Class: data () => Assoc k v
- Data.Extensible.Class: data Membership (xs :: [k]) (x :: k)
+ Data.Extensible.Class: data () => Membership (xs :: [k]) (x :: k)
- Data.Extensible.Class: itemAssoc :: (Wrapper h, Extensible f p t, Lookup xs k v, ExtensibleConstr t xs h (k :> v)) => proxy k -> Optic' p f (t xs h) (Repr h (k :> v))
+ Data.Extensible.Class: itemAssoc :: (Wrapper h, Extensible f p t, Lookup xs k v, ExtensibleConstr t xs h (k ':> v)) => proxy k -> Optic' p f (t xs h) (Repr h (k ':> v))
- Data.Extensible.Class: itemKey :: forall k v xs h f p t. (Wrapper h, Extensible f p t, Lookup xs k v, ExtensibleConstr t xs h (k :> v)) => Optic' p f (t xs h) (Repr h (k :> v))
+ Data.Extensible.Class: itemKey :: forall k v xs h f p t. (Wrapper h, Extensible f p t, Lookup xs k v, ExtensibleConstr t xs h (k ':> v)) => Optic' p f (t xs h) (Repr h (k ':> v))
- Data.Extensible.Class: leadership :: forall k (x :: k) (xs :: [k]). Membership (x : xs) x
+ Data.Extensible.Class: leadership :: forall {k} (x :: k) (xs :: [k]). Membership (x ': xs) x
- Data.Extensible.Class: mkMembership :: Int -> Q Exp
+ Data.Extensible.Class: mkMembership :: Quote m => Int -> m Exp
- Data.Extensible.Class: pieceAssoc :: (Lookup xs k v, Extensible f p t, ExtensibleConstr t xs h (k :> v)) => Optic' p f (t xs h) (h (k :> v))
+ Data.Extensible.Class: pieceAssoc :: (Lookup xs k v, Extensible f p t, ExtensibleConstr t xs h (k ':> v)) => Optic' p f (t xs h) (h (k ':> v))
- Data.Extensible.Field: (<@=>) :: (Functor f, Wrapper h) => Proxy k -> f (Repr h v) -> Compose f (Field h) (k :> v)
+ Data.Extensible.Field: (<@=>) :: (Functor f, Wrapper h) => Proxy k -> f (Repr h v) -> Compose f (Field h) (k ':> v)
- Data.Extensible.Field: (@:>) :: Proxy k -> h v -> Field h (k :> v)
+ Data.Extensible.Field: (@:>) :: Proxy k -> h v -> Field h (k ':> v)
- Data.Extensible.Field: (@=) :: Wrapper h => Proxy k -> Repr h v -> Field h (k :> v)
+ Data.Extensible.Field: (@=) :: Wrapper h => Proxy k -> Repr h v -> Field h (k ':> v)
- Data.Extensible.Field: (@==) :: Proxy (k :: Symbol) -> v -> Field Identity (k :> v)
+ Data.Extensible.Field: (@==) :: Proxy (k :: Symbol) -> v -> Field Identity (k ':> v)
- Data.Extensible.Field: proxyKeyOf :: forall k v proxy (kv :: Assoc k v). proxy kv -> Proxy (KeyOf kv)
+ Data.Extensible.Field: proxyKeyOf :: forall {k} {v} proxy (kv :: Assoc k v). proxy kv -> Proxy (KeyOf kv)
- Data.Extensible.Field: proxyTargetOf :: forall k1 k2 proxy (kv :: Assoc k1 k2). proxy kv -> Proxy (TargetOf kv)
+ Data.Extensible.Field: proxyTargetOf :: forall {k1} {k2} proxy (kv :: Assoc k1 k2). proxy kv -> Proxy (TargetOf kv)
- Data.Extensible.Field: stringKeyOf :: forall v a (kv :: Assoc Symbol v) proxy. (IsString a, KnownSymbol (KeyOf kv)) => proxy kv -> a
+ Data.Extensible.Field: stringKeyOf :: forall {v} a (kv :: Assoc Symbol v) proxy. (IsString a, KnownSymbol (KeyOf kv)) => proxy kv -> a
- Data.Extensible.Field: type FieldOptic k = forall kind. forall f p t xs (h :: kind -> Type) (v :: kind). (Extensible f p t, ExtensibleConstr t xs (Field h) (k :> v), Lookup xs k v, Wrapper h) => Optic' p f (t xs (Field h)) (Repr h v)
+ Data.Extensible.Field: type FieldOptic k = forall kind. forall f p t xs (h :: kind -> Type) (v :: kind). (Extensible f p t, ExtensibleConstr t xs (Field h) (k ':> v), Lookup xs k v, Wrapper h) => Optic' p f (t xs (Field h)) (Repr h v)
- Data.Extensible.Plain: (<%) :: x -> AllOf xs -> AllOf (x : xs)
+ Data.Extensible.Plain: (<%) :: x -> AllOf xs -> AllOf (x ': xs)
- Data.Extensible.Plain: (<%|) :: (x -> r) -> (OneOf xs -> r) -> OneOf (x : xs) -> r
+ Data.Extensible.Plain: (<%|) :: (x -> r) -> (OneOf xs -> r) -> OneOf (x ': xs) -> r
- Data.Extensible.Product: (<!) :: h x -> (xs :& h) -> (x : xs) :& h
+ Data.Extensible.Product: (<!) :: h x -> (xs :& h) -> (x ': xs) :& h
- Data.Extensible.Product: (<:) :: h x -> (xs :& h) -> (x : xs) :& h
+ Data.Extensible.Product: (<:) :: h x -> (xs :& h) -> (x ': xs) :& h
- Data.Extensible.Product: (=<:) :: Wrapper h => Repr h x -> (xs :& h) -> (x : xs) :& h
+ Data.Extensible.Product: (=<:) :: Wrapper h => Repr h x -> (xs :& h) -> (x ': xs) :& h
- Data.Extensible.Product: class Generate (xs :: [k])
+ Data.Extensible.Product: class () => Generate (xs :: [k])
- Data.Extensible.Struct: (-$>) :: forall k h xs v s. Lookup xs k v => Struct s h xs -> Proxy k -> WrappedPointer s h (Repr h (k :> v))
+ Data.Extensible.Struct: (-$>) :: forall k h xs v s. Lookup xs k v => Struct s h xs -> Proxy k -> WrappedPointer s h (Repr h (k ':> v))
- Data.Extensible.Sum: (<:|) :: (h x -> r) -> ((xs :/ h) -> r) -> ((x : xs) :/ h) -> r
+ Data.Extensible.Sum: (<:|) :: (h x -> r) -> ((xs :/ h) -> r) -> ((x ': xs) :/ h) -> r
- Data.Extensible.Sum: embedAssoc :: Lookup xs k a => h (k :> a) -> xs :/ h
+ Data.Extensible.Sum: embedAssoc :: Lookup xs k a => h (k ':> a) -> xs :/ h
- Data.Extensible.Tangle: lasso :: forall k v m h xs. (Monad m, Lookup xs k v, Wrapper h) => Proxy k -> TangleT xs h m (Repr h (k :> v))
+ Data.Extensible.Tangle: lasso :: forall k v m h xs. (Monad m, Lookup xs k v, Wrapper h) => Proxy k -> TangleT xs h m (Repr h (k ':> v))
Files
- CHANGELOG.md +7/−0
- extensible.cabal +2/−2
- src/Data/Extensible/Nullable.hs +23/−1
CHANGELOG.md view
@@ -1,3 +1,10 @@+0.9.1+------------------------------------------------++* Supported GHCs up to 9.8 ([#38](https://github.com/fumieval/extensible/pull/38) by [@kgtkr](https://github.com/kgtkr))+* Exported `Assoc`, `(>:)`, and `Lookup` from `Data.Extensible.Effect`+* Added `coinclusionAssoc`, `wrenchAssoc`, and `retrenchAssoc` ([#36](https://github.com/fumieval/extensible/pull/36) by [@At-sushi](https://github.com/At-sushi))+ 0.9 ------------------------------------------------
extensible.cabal view
@@ -1,6 +1,6 @@ cabal-version: 2.4 name: extensible-version: 0.9+version: 0.9.1 synopsis: Extensible, efficient, optics-friendly data types and effects homepage: https://github.com/fumieval/extensible bug-reports: http://github.com/fumieval/extensible/issues@@ -80,7 +80,7 @@ , CPP , NoStarIsType build-depends: base >= 4.8 && <5- , aeson >= 1.5 && <2.1+ , aeson >= 1.5 && <2.3 , bytestring , comonad , constraints
src/Data/Extensible/Nullable.hs view
@@ -15,7 +15,10 @@ , retrench , Nullable(..) , mapNullable- , fromNullable) where+ , fromNullable+ , coinclusionAssoc+ , wrenchAssoc+ , retrenchAssoc) where import Control.DeepSeq (NFData) import Data.Extensible.Class@@ -80,3 +83,22 @@ fromNullable :: h x -> Nullable h x -> h x fromNullable def = fromMaybe def . getNullable {-# INLINE fromNullable #-}++------------------------------------------------------------------++-- | The inverse of 'inclusionAssoc'.+coinclusionAssoc :: (IncludeAssoc ys xs, Generate ys) => ys :& Nullable (Membership xs)+coinclusionAssoc = S.hfrozen $ do+ s <- S.newRepeat $ Nullable Nothing+ hfoldrWithIndex+ (\i m cont -> S.set s m (Nullable $ Just i) >> cont) (return s) inclusionAssoc++-- | Extend a product and fill missing fields by 'Null'.+wrenchAssoc :: (Generate ys, IncludeAssoc ys xs) => xs :& h -> ys :& Nullable h+wrenchAssoc xs = mapNullable (flip hlookup xs) `hmap` coinclusionAssoc+{-# INLINE wrenchAssoc #-}++-- | Narrow the range of the sum, if possible.+retrenchAssoc :: (Generate ys, IncludeAssoc ys xs) => ys :/ h -> Nullable ((:/) xs) h+retrenchAssoc (EmbedAt i h) = views (pieceAt i) (mapNullable (`EmbedAt`h)) coinclusionAssoc+{-# INLINE retrenchAssoc #-}