Hoogle Search

Within LTS Haskell 24.6 (ghc-9.10.2)

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

Exact lookup

1. type EquivM' s v = EquivM s () v

   equivalence	Data.Equivalence.Monad

   This monad is a special case of EquivM that only maintains trivial equivalence class descriptors of type ().

2. newtype EquivT s c v (m :: Type -> Type) a

   equivalence	Data.Equivalence.Monad

   This monad transformer encapsulates computations maintaining an equivalence relation. A monadic computation of type EquivT s c v m a maintains a state space indexed by type s, maintains an equivalence relation over elements of type v with equivalence class descriptors of type c and contains an internal monadic computation of type m a.

3. EquivT :: ReaderT (Equiv s c v) (STT s m) a -> EquivT s c v (m :: Type -> Type) a

   equivalence	Data.Equivalence.Monad

   No documentation available.

4. type EquivT' s = EquivT s ()

   equivalence	Data.Equivalence.Monad

   This monad transformer is a special case of EquivT that only maintains trivial equivalence class descriptors of type ().

5. data Equiv s c a

   equivalence	Data.Equivalence.STT

   This is the top-level data structure that represents an equivalence relation. An equivalence relation of type Equiv s c a lives in the state space indexed by s, contains equivalence class descriptors of type c and has elements of type a.

6. Equiv :: Function

   gtk	Graphics.UI.Gtk.Gdk.GC

   No documentation available.

7. Equiv :: Function

   gtk	Graphics.UI.Gtk.General.Enums

   No documentation available.

8. Equals :: Token

   haskell-src	Language.Haskell.Lexer

   No documentation available.

9. Equal :: Condition

   jsonpath	Data.JSONPath.Types

   No documentation available.

10. EqEq :: EqExpr -> RelExpr -> EqExpr

    language-c99	Language.C99.AST

    No documentation available.

Page 31 of many | Previous | Next