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.

  1. type (.==) = 'RelOpEQ

    rerefined Rerefined.Predicates.Operators

    No documentation available.

  2. type (.>) = 'RelOpGT

    rerefined Rerefined.Predicates.Operators

    No documentation available.

  3. type (.>=) = 'RelOpGTE

    rerefined Rerefined.Predicates.Operators

    No documentation available.

  4. (.+) :: RuntimeTerm -> RuntimeTerm -> RuntimeTerm

    rest-rewrite DSL

    No documentation available.

  5. type family (r :: Row k) .! (t :: Symbol) :: k

    row-types Data.Row

    Type level label fetching

  6. (.!) :: forall (l :: Symbol) (r :: Row Type) . KnownSymbol l => Rec r -> Label l -> r .! l

    row-types Data.Row

    Record selection

  7. type family (l :: Row k) .+ (r :: Row k) :: Row k

    row-types Data.Row

    Type level Row append

  8. (.+) :: forall (l :: Row Type) (r :: Row Type) . FreeForall l => Rec l -> Rec r -> Rec (l .+ r)

    row-types Data.Row

    Record disjoint union (commutative)

  9. type family (r :: Row k) .- (s :: Symbol) :: Row k

    row-types Data.Row

    Type level Row element removal

  10. (.-) :: forall (l :: Symbol) (r :: Row Type) . KnownSymbol l => Rec r -> Label l -> Rec (r .- l)

    row-types Data.Row

    Record restriction. Remove the label l from the record.

Page 40 of many | Previous | Next