HORIZON HASKELLDocslts/ghc-9.10.xc74966e2026-09-27Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · c74966e · 2026-09-27

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

  • (:&) :: !a r -> !Rec a 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 (≅).