HORIZON HASKELLDocslts/ghc-10.0.xfc4e5982026-10-11Search names, modules, packages, or :: a typeCtrl K

GHC 10.0.0.20260917 · lts/ghc-10.0.x · fc4e598 · 2026-10-11

Modulevinyl-0.14.3Haskell2010

Data.Vinyl.Notation

  • 6 types
  • 4 values
  • Packagevinyl-0.14.3
  • Exports10
  • LanguageHaskell2010
  • LicenceMIT
  • SourceCore.hs
value(<<$>>) :: RMap rs => (forall (x :: u). f x -> g x) -> Rec f rs -> Rec g rs
#

A shorthand for rmap.

value(<<&>>) :: RMap rs => Rec f rs -> (forall (x :: u). f x -> g x) -> Rec g rs
#

An inverted shorthand for rmap.

datadata Rec (a :: u -> Type) (b :: [u]) where
#

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 :: *.

Constructors

  • (:&) :: !f r -> !Rec f rs -> Rec a (r ': rs)infixr 7
Instances26RecSubset, RecElem, TestCoercion, TestEquality, Eq, Ord, …
typetype (∈) (r :: k) (rs :: [k]) = RElem r rs (RIndex r rs)
#

A shorthand for RElem which supplies its index.

typetype (⊆) (rs :: [k]) (ss :: [k]) = RSubset rs ss (RImage rs ss)
#

A shorthand for RSubset which supplies its image.

typetype (<:) (rs :: [k]) (ss :: [k]) = rs ⊆ ss
#

A non-unicode equivalent of (⊆).

typetype (:~:) (rs :: [k]) (ss :: [k]) = rs ≅ ss
#

A non-unicode equivalent of (≅).