A shorthand for rappend.
Modulevinyl-0.14.3Haskell2010
Data.Vinyl.Notation
- Packagevinyl-0.14.3
- Exports10
- LanguageHaskell2010
- LicenceMIT
- SourceCore.hs
A shorthand for rapply.
A shorthand for rmap.
An inverted shorthand for rmap.
A record is parameterized by a universe u, an interpretation f and a
list of rows rs. The labels or indices of the record are given by
inhabitants of the kind u; the type of values at any label r :: u is
given by its interpretation f r :: *.
Instances26RecSubset, RecElem, TestCoercion, TestEquality, Eq, Ord, …
RecSubset Rec '[] ss '[]Defined in vinyl-0.14.3 · Data.Vinyl.Lens(RElem r ss i, RSubset rs ss is) => RecSubset Rec (r ': rs) ss (i ': is)Defined in vinyl-0.14.3 · Data.Vinyl.LensRecElem Rec r r' (r ': rs) (r' ': rs) 'ZDefined in vinyl-0.14.3 · Data.Vinyl.Lens(RIndex r (s ': rs) ~ 'S i, RecElem Rec r r' rs rs' i) => RecElem Rec r r' (s ': rs) (s ': rs') ('S i)Defined in vinyl-0.14.3 · Data.Vinyl.LensTestCoercion f => TestCoercion (Rec f)Defined in vinyl-0.14.3 · Data.Vinyl.CoreTestEquality f => TestEquality (Rec f)Defined in vinyl-0.14.3 · Data.Vinyl.CoreEq (Rec f '[])Defined in vinyl-0.14.3 · Data.Vinyl.Core(Eq (f r), Eq (Rec f rs)) => Eq (Rec f (r ': rs))Defined in vinyl-0.14.3 · Data.Vinyl.CoreOrd (Rec f '[])Defined in vinyl-0.14.3 · Data.Vinyl.Core(Ord (f r), Ord (Rec f rs)) => Ord (Rec f (r ': rs))Defined in vinyl-0.14.3 · Data.Vinyl.Core(RMap rs, ReifyConstraint Show f rs, RecordToList rs) => Show (Rec f rs)Defined in vinyl-0.14.3 · Data.Vinyl.CoreRecords may be shown insofar as their points may be shown. reifyConstraint is used to great effect here.
Generic (Rec f '[])Defined in vinyl-0.14.3 · Data.Vinyl.CoreGeneric (Rec f rs) => Generic (Rec f (r ': rs))Defined in vinyl-0.14.3 · Data.Vinyl.CoreSemigroup (Rec f '[])Defined in vinyl-0.14.3 · Data.Vinyl.Core(Semigroup (f r), Semigroup (Rec f rs)) => Semigroup (Rec f (r ': rs))Defined in vinyl-0.14.3 · Data.Vinyl.CoreMonoid (Rec f '[])Defined in vinyl-0.14.3 · Data.Vinyl.Core(Monoid (f r), Monoid (Rec f rs)) => Monoid (Rec f (r ': rs))Defined in vinyl-0.14.3 · Data.Vinyl.CoreStorable (Rec f '[])Defined in vinyl-0.14.3 · Data.Vinyl.Core(Storable (f r), Storable (Rec f rs)) => Storable (Rec f (r ': rs))Defined in vinyl-0.14.3 · Data.Vinyl.CoreReifyConstraint NFData f xs => NFData (Rec f xs)Defined in vinyl-0.14.3 · Data.Vinyl.Coretype Rep (Rec f '[]) = C1 ('MetaConsDefined in vinyl-0.14.3 · Data.Vinyl.Core"RNil"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) U1)type Rep (Rec f (r ': rs)) = C1 ('MetaConsDefined in vinyl-0.14.3 · Data.Vinyl.Core":&"
('InfixI 'RightAssociative7
) 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f r)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rep (Rec f rs)))type RecElemFCtx Rec f = ()Defined in vinyl-0.14.3 · Data.Vinyl.Lenstype RecElemFCtx Rec f = ()Defined in vinyl-0.14.3 · Data.Vinyl.Lenstype RecSubsetFCtx Rec f = ()Defined in vinyl-0.14.3 · Data.Vinyl.Lenstype RecSubsetFCtx Rec f = ()Defined in vinyl-0.14.3 · Data.Vinyl.Lens
A shorthand for RElem which supplies its index.
A shorthand for RSubset which supplies its image.
A shorthand for REquivalent which supplies its images.
A non-unicode equivalent of (⊆).
A non-unicode equivalent of (≅).