Hoogle Search
Within LTS Haskell 24.51 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
type family (r :: Row k)
.\ (l :: Symbol)row-types Data.Row.Internal Does the row lack (i.e. it does not have) the specified label?
type family (l :: Row k)
.\/ (r :: Row k) :: Row krow-types Data.Row.Internal The minimum join of the two rows.
type family (l :: Row k)
.\\ (r :: Row k) :: Row krow-types Data.Row.Internal Type level Row difference. That is, l .\\ r is the row remaining after removing any matching elements of r from l.
type family (r :: Row k)
.! (t :: Symbol) :: krow-types Data.Row.Records Type level label fetching
(
.! ) :: forall (l :: Symbol) (r :: Row Type) . KnownSymbol l => Rec r -> Label l -> r .! lrow-types Data.Row.Records Record selection
-
row-types Data.Row.Records This function allows one to do partial application on a function of a record. Note that this also means that arguments can be supplied in arbitrary order. For instance, if one had a function like
xtheny r = (r .! #x) <> (r .! #y)
and a record likegreeting = #x .== "hello " .+ #y .== "world!"
Then all of the following would be possible:>>> xtheny greeting "hello world!"
>>> xtheny .$ (#x, greeting) .$ (#y, greeting) $ empty "hello world!"
>>> xtheny .$ (#y, greeting) .$ (#x, greeting) $ empty "hello world!"
>>> xtheny .$ (#y, greeting) .$ (#x, #x .== "Goodbye ") $ empty "Goodbye world!"
type family (l :: Row k)
.+ (r :: Row k) :: Row krow-types Data.Row.Records Type level Row append
(
.+ ) :: forall (l :: Row Type) (r :: Row Type) . FreeForall l => Rec l -> Rec r -> Rec (l .+ r)row-types Data.Row.Records Record disjoint union (commutative)
type family (r :: Row k)
.- (s :: Symbol) :: Row krow-types Data.Row.Records Type level Row element removal
(
.- ) :: forall (l :: Symbol) (r :: Row Type) . KnownSymbol l => Rec r -> Label l -> Rec (r .- l)row-types Data.Row.Records Record restriction. Remove the label l from the record.