Pattern: Fix (Compose (AnnUnit _ _)).
Fix composes units of (annotations & the annotated) into one object.
Giving annotated expression.
Modulehnix-0.17.0Haskell2010
Nix.Expr.Types.Annotated
The source location annotated nix expression type and supporting types.
Synopsis
- pattern Ann
- pattern AnnF
- pattern NAbsAnn
- pattern NAbsAnnF
- pattern NAppAnn
- pattern NAppAnnF
- pattern NAssertAnn
- pattern NAssertAnnF
- pattern NBinaryAnn
- pattern NBinaryAnnF
- pattern NConstantAnn
- pattern NConstantAnnF
- pattern NEnvPathAnn
- pattern NEnvPathAnnF
- pattern NHasAttrAnn
- pattern NHasAttrAnnF
- pattern NIfAnn
- pattern NIfAnnF
- pattern NLetAnn
- pattern NLetAnnF
- pattern NListAnn
- pattern NListAnnF
- pattern NLiteralPathAnn
- pattern NLiteralPathAnnF
- pattern NSelectAnn
- pattern NSelectAnnF
- pattern NSetAnn
- pattern NSetAnnF
- pattern NStrAnn
- pattern NStrAnnF
- pattern NSymAnn
- pattern NSymAnnF
- pattern NSynHoleAnn
- pattern NSynHoleAnnF
- pattern NUnaryAnn
- pattern NUnaryAnnF
- pattern NWithAnn
- pattern NWithAnnF
- value annNAbs
- value annNApp
- value annNBinary
- value annNHasAttr
- value annNNull
- value annNSelect
- value annNStr
- value annNUnary
- value annUnitToAnn
- value deltaInfo
- value nullSpan
- value stripAnnF
- value stripAnnotation
- type Ann
- type AnnF
- data AnnUnit
- type NExprLoc
- type NExprLocF
- data SrcSpan
- newtype Compose
- Packagehnix-0.17.0
- Exports58
- LanguageHaskell2010
- LicenceBSD-3-Clause
- SourceAnnotated.hs
Pattern: (Compose (AnnUnit _ _)).
A type constructor applied to a type along with an annotation
Intended to be used with Fix:
type MyType = Fix (Compose (AnnUnit Annotation) F)
Constructors
AnnUnitannotation :: annannotated :: expr
Instances38Eq2, Ord2, Read2, Show2, FromJSON2, ToJSON2, …
Eq2 AnnUnitDefined in hnix-0.17.0 · Nix.Expr.Types.AnnotatedOrd2 AnnUnitDefined in hnix-0.17.0 · Nix.Expr.Types.AnnotatedRead2 AnnUnitDefined in hnix-0.17.0 · Nix.Expr.Types.AnnotatedShow2 AnnUnitDefined in hnix-0.17.0 · Nix.Expr.Types.AnnotatedBinary NExprLocDefined in hnix-0.17.0 · Nix.Expr.Types.AnnotatedFromJSON2 AnnUnitDefined in hnix-0.17.0 · Nix.Expr.Types.AnnotatedToJSON2 AnnUnitDefined in hnix-0.17.0 · Nix.Expr.Types.AnnotatedSerialise NExprLocDefined in hnix-0.17.0 · Nix.Expr.Types.AnnotatedGeneric1 (AnnUnit ann)Defined in hnix-0.17.0 · Nix.Expr.Types.AnnotatedMonad m => Scoped NExprLoc (Reducer m)Defined in hnix-0.17.0 · Nix.ReduceFunctor (AnnUnit ann)Defined in hnix-0.17.0 · Nix.Expr.Types.AnnotatedFoldable (AnnUnit ann)Defined in hnix-0.17.0 · Nix.Expr.Types.AnnotatedTraversable (AnnUnit ann)Defined in hnix-0.17.0 · Nix.Expr.Types.AnnotatedEq ann => Eq1 (AnnUnit ann)Defined in hnix-0.17.0 · Nix.Expr.Types.AnnotatedOrd ann => Ord1 (AnnUnit ann)Defined in hnix-0.17.0 · Nix.Expr.Types.AnnotatedRead ann => Read1 (AnnUnit ann)Defined in hnix-0.17.0 · Nix.Expr.Types.AnnotatedShow ann => Show1 (AnnUnit ann)Defined in hnix-0.17.0 · Nix.Expr.Types.AnnotatedNFData ann => NFData1 (AnnUnit ann)Defined in hnix-0.17.0 · Nix.Expr.Types.AnnotatedBinary r => Binary (NExprLocF r)Defined in hnix-0.17.0 · Nix.Expr.Types.AnnotatedHashable ann => Hashable1 (AnnUnit ann)Defined in hnix-0.17.0 · Nix.Expr.Types.AnnotatedFromJSON ann => FromJSON1 (AnnUnit ann)Defined in hnix-0.17.0 · Nix.Expr.Types.AnnotatedToJSON ann => ToJSON1 (AnnUnit ann)Defined in hnix-0.17.0 · Nix.Expr.Types.AnnotatedSerialise r => Serialise (NExprLocF r)Defined in hnix-0.17.0 · Nix.Expr.Types.Annotated(Eq ann, Eq expr) => Eq (AnnUnit ann expr)Defined in hnix-0.17.0 · Nix.Expr.Types.Annotated(Data ann, Data expr) => Data (AnnUnit ann expr)Defined in hnix-0.17.0 · Nix.Expr.Types.Annotated(Ord ann, Ord expr) => Ord (AnnUnit ann expr)Defined in hnix-0.17.0 · Nix.Expr.Types.Annotated(Read ann, Read expr) => Read (AnnUnit ann expr)Defined in hnix-0.17.0 · Nix.Expr.Types.Annotated(Show ann, Show expr) => Show (AnnUnit ann expr)Defined in hnix-0.17.0 · Nix.Expr.Types.AnnotatedGeneric (AnnUnit ann expr)Defined in hnix-0.17.0 · Nix.Expr.Types.Annotated(NFData ann, NFData expr) => NFData (AnnUnit ann expr)Defined in hnix-0.17.0 · Nix.Expr.Types.Annotated(Binary ann, Binary a) => Binary (AnnUnit ann a)Defined in hnix-0.17.0 · Nix.Expr.Types.Annotated(Hashable ann, Hashable expr) => Hashable (AnnUnit ann expr)Defined in hnix-0.17.0 · Nix.Expr.Types.Annotated(Serialise ann, Serialise a) => Serialise (AnnUnit ann a)Defined in hnix-0.17.0 · Nix.Expr.Types.AnnotatedMonad m => MonadReader (Maybe Path, Scopes (Reducer m) NExprLoc) (Reducer m)Defined in hnix-0.17.0 · Nix.ReduceMonad m => MonadState (HashMap Path NExprLoc, HashMap Text Text) (Reducer m)Defined in hnix-0.17.0 · Nix.ReduceMonad m => MonadState (HashMap Path NExprLoc, HashMap Text Text) (StandardTF r m)Defined in hnix-0.17.0 · Nix.Standardtype Rep (AnnUnit ann expr) = D1 ('MetaDataDefined in hnix-0.17.0 · Nix.Expr.Types.Annotated"AnnUnit"
"Nix.Expr.Types.Annotated"
"hnix-0.17.0-Iy75YcImuzK7FD0KGfkLv7"
'False) (C1 ('MetaCons"AnnUnit"
'PrefixI 'True) (S1 ('MetaSel ('Just"annotation"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :*: S1 ('MetaSel ('Just"annotated"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 expr)))type Rep1 (AnnUnit ann) = D1 ('MetaDataDefined in hnix-0.17.0 · Nix.Expr.Types.Annotated"AnnUnit"
"Nix.Expr.Types.Annotated"
"hnix-0.17.0-Iy75YcImuzK7FD0KGfkLv7"
'False) (C1 ('MetaCons"AnnUnit"
'PrefixI 'True) (S1 ('MetaSel ('Just"annotation"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :*: S1 ('MetaSel ('Just"annotated"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1))
Annotated Nix expression (each subexpression direct to its source location).
Demarcation of a chunk in a source file.
Constructors
Instances22Eq, Data, Ord, Show, Generic, Semigroup, …
Eq SrcSpanDefined in hnix-0.17.0 · Nix.Expr.Types.AnnotatedData SrcSpanDefined in hnix-0.17.0 · Nix.Expr.Types.AnnotatedOrd SrcSpanDefined in hnix-0.17.0 · Nix.Expr.Types.AnnotatedShow SrcSpanDefined in hnix-0.17.0 · Nix.Expr.Types.AnnotatedGeneric SrcSpanDefined in hnix-0.17.0 · Nix.Expr.Types.AnnotatedSemigroup SrcSpanDefined in hnix-0.17.0 · Nix.Expr.Types.AnnotatedNFData SrcSpanDefined in hnix-0.17.0 · Nix.Expr.Types.AnnotatedBinary NExprLocDefined in hnix-0.17.0 · Nix.Expr.Types.AnnotatedBinary SrcSpanDefined in hnix-0.17.0 · Nix.Expr.Types.AnnotatedHashable SrcSpanDefined in hnix-0.17.0 · Nix.Expr.Types.AnnotatedFromJSON SrcSpanDefined in hnix-0.17.0 · Nix.Expr.Types.AnnotatedToJSON SrcSpanDefined in hnix-0.17.0 · Nix.Expr.Types.AnnotatedSerialise NExprLocDefined in hnix-0.17.0 · Nix.Expr.Types.AnnotatedSerialise SrcSpanDefined in hnix-0.17.0 · Nix.Expr.Types.AnnotatedMonad m => Scoped NExprLoc (Reducer m)Defined in hnix-0.17.0 · Nix.ReduceBinary r => Binary (NExprLocF r)Defined in hnix-0.17.0 · Nix.Expr.Types.AnnotatedSerialise r => Serialise (NExprLocF r)Defined in hnix-0.17.0 · Nix.Expr.Types.AnnotatedHas (Context m t) SrcSpanDefined in hnix-0.17.0 · Nix.ContextMonad m => MonadReader (Maybe Path, Scopes (Reducer m) NExprLoc) (Reducer m)Defined in hnix-0.17.0 · Nix.ReduceMonad m => MonadState (HashMap Path NExprLoc, HashMap Text Text) (Reducer m)Defined in hnix-0.17.0 · Nix.ReduceMonad m => MonadState (HashMap Path NExprLoc, HashMap Text Text) (StandardTF r m)Defined in hnix-0.17.0 · Nix.Standardtype Rep SrcSpan = D1 ('MetaDataDefined in hnix-0.17.0 · Nix.Expr.Types.Annotated"SrcSpan"
"Nix.Expr.Types.Annotated"
"hnix-0.17.0-Iy75YcImuzK7FD0KGfkLv7"
'False) (C1 ('MetaCons"SrcSpan"
'PrefixI 'True) (S1 ('MetaSel ('Just"getSpanBegin"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NSourcePos) :*: S1 ('MetaSel ('Just"getSpanEnd"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NSourcePos)))
Right-to-left composition of functors. The composition of applicative functors is always applicative, but the composition of monads is not always a monad.
Examples
fmap (subtract 1) (Compose (Just [1, 2, 3]))Compose (Just [0,1,2])
Compose (Just [1, 2, 3]) <> Compose NothingCompose (Just [1,2,3])
Compose (Just [(++ "World"), (++ "Haskell")]) <*> Compose (Just ["Hello, "])Compose (Just ["Hello, World","Hello, Haskell"])
Constructors
Composeinfixr 9getCompose :: f (g a)
Instances107Scoped, Generic1, TestEquality, Binary, Serialise, Composition, …
Binary NExprLocDefined in hnix-0.17.0 · Nix.Expr.Types.AnnotatedSerialise NExprLocDefined in hnix-0.17.0 · Nix.Expr.Types.Annotated(Eq1 f, Eq1 g) => Lifting Eq (Compose f g)Defined in constraints-0.14.4 · Data.Constraint.Lifting(Ord1 f, Ord1 g) => Lifting Ord (Compose f g)Defined in constraints-0.14.4 · Data.Constraint.Lifting(Read1 f, Read1 g) => Lifting Read (Compose f g)Defined in constraints-0.14.4 · Data.Constraint.Lifting(Show1 f, Show1 g) => Lifting Show (Compose f g)Defined in constraints-0.14.4 · Data.Constraint.LiftingMonad m => Scoped NExprLoc (Reducer m)Defined in hnix-0.17.0 · Nix.ReduceFunctor f => Generic1 (Compose f g)Defined in base-4.23.0.0 · Data.Functor.ComposeTestEquality f => TestEquality (Compose f g)Defined in base-4.23.0.0 · Data.Functor.ComposeThe deduction (via generativity) that if
g x :~: g ythenx :~: y.Unbox (f (g a)) => MVector MVector (Compose f g a)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.BaseUnbox (f (g a)) => Vector Vector (Compose f g a)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.BaseBinary r => Binary (NExprLocF r)Defined in hnix-0.17.0 · Nix.Expr.Types.AnnotatedSerialise r => Serialise (NExprLocF r)Defined in hnix-0.17.0 · Nix.Expr.Types.AnnotatedComposition ComposeDefined in comonad-5.0.10 · Data.Functor.CompositionLifting2 Alternative ComposeDefined in constraints-0.14.4 · Data.Constraint.LiftingLifting2 Applicative ComposeDefined in constraints-0.14.4 · Data.Constraint.LiftingLifting2 Functor ComposeDefined in constraints-0.14.4 · Data.Constraint.LiftingLifting2 Foldable ComposeDefined in constraints-0.14.4 · Data.Constraint.LiftingLifting2 Traversable ComposeDefined in constraints-0.14.4 · Data.Constraint.LiftingEq1 f => Lifting Eq1 (Compose f)Defined in constraints-0.14.4 · Data.Constraint.LiftingOrd1 f => Lifting Ord1 (Compose f)Defined in constraints-0.14.4 · Data.Constraint.LiftingRead1 f => Lifting Read1 (Compose f)Defined in constraints-0.14.4 · Data.Constraint.LiftingShow1 f => Lifting Show1 (Compose f)Defined in constraints-0.14.4 · Data.Constraint.LiftingAlternative f => Lifting Alternative (Compose f)Defined in constraints-0.14.4 · Data.Constraint.LiftingApplicative f => Lifting Applicative (Compose f)Defined in constraints-0.14.4 · Data.Constraint.LiftingFunctor f => Lifting Functor (Compose f)Defined in constraints-0.14.4 · Data.Constraint.LiftingFoldable f => Lifting Foldable (Compose f)Defined in constraints-0.14.4 · Data.Constraint.LiftingTraversable f => Lifting Traversable (Compose f)Defined in constraints-0.14.4 · Data.Constraint.LiftingMonad m => MonadReader (Maybe Path, Scopes (Reducer m) NExprLoc) (Reducer m)Defined in hnix-0.17.0 · Nix.ReduceMonad m => MonadState (HashMap Path NExprLoc, HashMap Text Text) (Reducer m)Defined in hnix-0.17.0 · Nix.ReduceMonad m => MonadState (HashMap Path NExprLoc, HashMap Text Text) (StandardTF r m)Defined in hnix-0.17.0 · Nix.Standard(FoldableWithIndex i f, FoldableWithIndex j g) => FoldableWithIndex (i, j) (Compose f g)Defined in indexed-traversable-0.1.5 · WithIndex(FunctorWithIndex i f, FunctorWithIndex j g) => FunctorWithIndex (i, j) (Compose f g)Defined in indexed-traversable-0.1.5 · WithIndex(TraversableWithIndex i f, TraversableWithIndex j g) => TraversableWithIndex (i, j) (Compose f g)Defined in indexed-traversable-0.1.5 · WithIndex(RepeatWithIndex i f, RepeatWithIndex j g) => RepeatWithIndex (i, j) (Compose f g)Defined in semialign-1.3.1.1 · Data.Semialign.Internal(SemialignWithIndex i f, SemialignWithIndex j g) => SemialignWithIndex (i, j) (Compose f g)Defined in semialign-1.3.1.1 · Data.Semialign.Internal(ZipWithIndex i f, ZipWithIndex j g) => ZipWithIndex (i, j) (Compose f g)Defined in semialign-1.3.1.1 · Data.Semialign.Internal(FunctorWithIndex i f, FilterableWithIndex j g) => FilterableWithIndex (i, j) (Compose f g)Defined in witherable-0.5 · Witherable(TraversableWithIndex i f, WitherableWithIndex j g) => WitherableWithIndex (i, j) (Compose f g)Defined in witherable-0.5 · Witherable(Functor f, Functor g) => Functor (Compose f g)Defined in base-4.23.0.0 · Data.Functor.Compose(Applicative f, Applicative g) => Applicative (Compose f g)Defined in base-4.23.0.0 · Data.Functor.Compose(Foldable f, Foldable g) => Foldable (Compose f g)Defined in base-4.23.0.0 · Data.Functor.Compose(Traversable f, Traversable g) => Traversable (Compose f g)Defined in base-4.23.0.0 · Data.Functor.Compose(Alternative f, Applicative g) => Alternative (Compose f g)Defined in base-4.23.0.0 · Data.Functor.Compose(Foldable1 f, Foldable1 g) => Foldable1 (Compose f g)Defined in base-4.23.0.0 · Data.Foldable1(Eq1 f, Eq1 g) => Eq1 (Compose f g)Defined in base-4.23.0.0 · Data.Functor.Compose(Ord1 f, Ord1 g) => Ord1 (Compose f g)Defined in base-4.23.0.0 · Data.Functor.Compose(Read1 f, Read1 g) => Read1 (Compose f g)Defined in base-4.23.0.0 · Data.Functor.Compose(Show1 f, Show1 g) => Show1 (Compose f g)Defined in base-4.23.0.0 · Data.Functor.Compose(Functor f, Contravariant g) => Contravariant (Compose f g)Defined in base-4.23.0.0 · Data.Functor.Contravariant(NFData1 f, NFData1 g) => NFData1 (Compose f g)Defined in deepseq-1.5.2.0 · Control.DeepSeq(Arbitrary1 f, Arbitrary1 g) => Arbitrary1 (Compose f g)Defined in QuickCheck-2.18.0.0 · Test.QuickCheck.Arbitrary(Hashable1 f, Hashable1 g) => Hashable1 (Compose f g)Defined in hashable-1.5.1.0 · Data.Hashable.Class(Distributive f, Distributive g) => Distributive (Compose f g)Defined in distributive-0.6.3 · Data.Distributive(Applicative f, Decidable g) => Decidable (Compose f g)Defined in contravariant-1.5.6 · Data.Functor.Contravariant.Divisible(Applicative f, Divisible g) => Divisible (Compose f g)Defined in contravariant-1.5.6 · Data.Functor.Contravariant.Divisible(Alt f, Functor g) => Alt (Compose f g)Defined in semigroupoids-6.0.2 · Data.Functor.Alt(Apply f, Apply g) => Apply (Compose f g)Defined in semigroupoids-6.0.2 · Data.Functor.Bind.Class(Apply f, Applicative f, Conclude g) => Conclude (Compose f g)Defined in semigroupoids-6.0.2 · Data.Functor.Contravariant.Conclude(Apply f, Decide g) => Decide (Compose f g)Defined in semigroupoids-6.0.2 · Data.Functor.Contravariant.Decide(Apply f, Divise g) => Divise (Compose f g)Defined in semigroupoids-6.0.2 · Data.Functor.Contravariant.Divise(Plus f, Functor g) => Plus (Compose f g)Defined in semigroupoids-6.0.2 · Data.Functor.Plus(Traversable1 f, Traversable1 g) => Traversable1 (Compose f g)Defined in semigroupoids-6.0.2 · Data.Semigroup.Traversable.Class(Align f, Semialign g) => Align (Compose f g)Defined in semialign-1.3.1.1 · Data.Semialign.Internal(Semialign f, Semialign g) => Semialign (Compose f g)Defined in semialign-1.3.1.1 · Data.Semialign.Internal(Crosswalk f, Crosswalk g) => Crosswalk (Compose f g)Defined in semialign-1.3.1.1 · Data.Crosswalk(Repeat f, Repeat g) => Repeat (Compose f g)Defined in semialign-1.3.1.1 · Data.Semialign.Internal(Unzip f, Unzip g) => Unzip (Compose f g)Defined in semialign-1.3.1.1 · Data.Semialign.Internal(Zip f, Zip g) => Zip (Compose f g)Defined in semialign-1.3.1.1 · Data.Semialign.Internal(Functor f, Filterable g) => Filterable (Compose f g)Defined in witherable-0.5 · Witherable(Traversable f, Witherable g) => Witherable (Compose f g)Defined in witherable-0.5 · Witherable(FromJSON1 f, FromJSON1 g) => FromJSON1 (Compose f g)Defined in aeson-2.2.5.1 · Data.Aeson.Types.FromJSON(ToJSON1 f, ToJSON1 g) => ToJSON1 (Compose f g)Defined in aeson-2.2.5.1 · Data.Aeson.Types.ToJSON(Phantom f, Functor g) => Phantom (Compose f g)Defined in lens-family-core-2.1.3 · Lens.Family.Phantom(Identical f, Identical g) => Identical (Compose f g)Defined in lens-family-core-2.1.3 · Lens.Family.Identical(Foldable1 f, Foldable1 g) => Foldable1 (Compose f g)Defined in relude-1.2.2.2 · Relude.Extra.Foldable1Bounded (f (g a)) => Bounded (Compose f g a)Defined in base-4.23.0.0 · Data.Functor.ComposeEnum (f (g a)) => Enum (Compose f g a)Defined in base-4.23.0.0 · Data.Functor.ComposeEq (f (g a)) => Eq (Compose f g a)Defined in base-4.23.0.0 · Data.Functor.ComposeFloating (f (g a)) => Floating (Compose f g a)Defined in base-4.23.0.0 · Data.Functor.ComposeFractional (f (g a)) => Fractional (Compose f g a)Defined in base-4.23.0.0 · Data.Functor.ComposeIntegral (f (g a)) => Integral (Compose f g a)Defined in base-4.23.0.0 · Data.Functor.Compose(Typeable a, Typeable f, Typeable g, Typeable k1, Typeable k2, Data (f (g a))) => Data (Compose f g a)Defined in base-4.23.0.0 · Data.Functor.ComposeNum (f (g a)) => Num (Compose f g a)Defined in base-4.23.0.0 · Data.Functor.ComposeOrd (f (g a)) => Ord (Compose f g a)Defined in base-4.23.0.0 · Data.Functor.ComposeRead (f (g a)) => Read (Compose f g a)Defined in base-4.23.0.0 · Data.Functor.ComposeReal (f (g a)) => Real (Compose f g a)Defined in base-4.23.0.0 · Data.Functor.ComposeRealFloat (f (g a)) => RealFloat (Compose f g a)Defined in base-4.23.0.0 · Data.Functor.ComposeRealFrac (f (g a)) => RealFrac (Compose f g a)Defined in base-4.23.0.0 · Data.Functor.ComposeShow (f (g a)) => Show (Compose f g a)Defined in base-4.23.0.0 · Data.Functor.ComposeGeneric (Compose f g a)Defined in base-4.23.0.0 · Data.Functor.ComposeSemigroup (f (g a)) => Semigroup (Compose f g a)Defined in base-4.23.0.0 · Data.Functor.ComposeMonoid (f (g a)) => Monoid (Compose f g a)Defined in base-4.23.0.0 · Data.Functor.ComposeNFData (f (g a)) => NFData (Compose f g a)Defined in deepseq-1.5.2.0 · Control.DeepSeqNote: in
deepseq-1.5.0.0this instance's superclasses were changed.(Arbitrary1 f, Arbitrary1 g, Arbitrary a) => Arbitrary (Compose f g a)Defined in QuickCheck-2.18.0.0 · Test.QuickCheck.ArbitraryHashable (f (g a)) => Hashable (Compose f g a)Defined in hashable-1.5.1.0 · Data.Hashable.ClassUnbox (f (g a)) => Unbox (Compose f g a)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base(FromJSON1 f, FromJSON1 g, FromJSON a) => FromJSON (Compose f g a)Defined in aeson-2.2.5.1 · Data.Aeson.Types.FromJSON(ToJSON1 f, ToJSON1 g, ToJSON a) => ToJSON (Compose f g a)Defined in aeson-2.2.5.1 · Data.Aeson.Types.ToJSONAbsurd (f (g a)) => Absurd (Compose f g a)Defined in boring-0.2.2.1 · Data.BoringBoring (f (g a)) => Boring (Compose f g a)Defined in boring-0.2.2.1 · Data.Boring(Cosieve p f, Cosieve q g) => Cosieve (Procompose p q) (Compose f g)Defined in profunctors-5.6.3 · Data.Profunctor.Composition(Sieve p f, Sieve q g) => Sieve (Procompose p q) (Compose g f)Defined in profunctors-5.6.3 · Data.Profunctor.Compositiontype Rep (Compose f g a) = D1 ('MetaDataDefined in base-4.23.0.0 · Data.Functor.Compose"Compose"
"Data.Functor.Compose"
"base-4.23.0.0-cfe7"
'True) (C1 ('MetaCons"Compose"
'PrefixI 'True) (S1 ('MetaSel ('Just"getCompose"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (g a)))))type Rep1 (Compose f g) = D1 ('MetaDataDefined in base-4.23.0.0 · Data.Functor.Compose"Compose"
"Data.Functor.Compose"
"base-4.23.0.0-cfe7"
'True) (C1 ('MetaCons"Compose"
'PrefixI 'True) (S1 ('MetaSel ('Just"getCompose"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (f :.: Rec1 g)))data MVector s (Compose f g a)MV_Compose (MVector s (f (g a)))
data Vector (Compose f g a)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base