Hoogle Search

Within LTS Haskell 24.41 (ghc-9.10.3)

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

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

    minisat-solver SAT.MiniSat

    Exclusive or.

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

    minisat-solver SAT.MiniSat

    Implication.

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

    minisat-solver SAT.MiniSat

    If and only if.

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

    minisat-solver SAT.MiniSat

    Disjunction.

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

    miso Miso.String

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

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

    miso Miso.String

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

  7. data a :> b

    mockcat Test.MockCat.Cons

    No documentation available.

  8. (:>) :: a -> b -> (:>) a b

    mockcat Test.MockCat.Cons

    No documentation available.

  9. type (name :: Symbol) :! a = NamedF Identity a name

    named Named

    Infix notation for the type of a named parameter.

  10. type (name :: Symbol) :? a = NamedF Maybe a name

    named Named

    Infix notation for the type of an optional named parameter.

Page 59 of many | Previous | Next