Hoogle Search

Within LTS Haskell 24.18 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

  1. (:@:) :: forall d k1 k2 . Atom d (k1 -> k2) -> Atom d k1 -> Atom d k2

    kind-generics Generics.Kind

    Represents type application.

  2. type family (f :: k) :@@: (tys :: LoT k)

    kind-generics Generics.Kind

    Apply a list of types to a type constructor. 

    >>> :kind! Either :@@: (Int :&&: Bool :&&: LoT0)
Either :@@: (Int :&&: Bool :&&: LoT0) :: Type
= Either Int Bool

  3. (:=>) :: !tag a -> f a -> DSum (tag :: k -> Type) (f :: k -> Type)

    lambdabot-core Lambdabot.Main

    No documentation available.

  4. (:&&:) :: Formula v -> Formula v -> Formula v

    minisat-solver SAT.MiniSat

    Conjunction.

  5. (:++:) :: Formula v -> Formula v -> Formula v

    minisat-solver SAT.MiniSat

    Exclusive or.

  6. (:->:) :: Formula v -> Formula v -> Formula v

    minisat-solver SAT.MiniSat

    Implication.

  7. (:<->:) :: Formula v -> Formula v -> Formula v

    minisat-solver SAT.MiniSat

    If and only if.

  8. (:||:) :: Formula v -> Formula v -> Formula v

    minisat-solver SAT.MiniSat

    Disjunction.

  9. pattern (:<) :: Char -> Text -> Text

    miso Miso.String

    Bidirectional pattern synonym for cons (O(n)) and uncons (O(1)), to be used together with Empty.

  10. pattern (:>) :: Text -> Char -> Text

    miso Miso.String

    Bidirectional pattern synonym for snoc (O(n)) and unsnoc (O(1)) to be used together with Empty.

Page 58 of many | Previous | Next