Hoogle Search

Within LTS Haskell 24.52 (ghc-9.10.3)

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

  1. module Calligraphy.Util.Printer

    No documentation available.

  2. data Printer a

    calligraphy Calligraphy.Util.Printer

    An monadic interface to a fairly primitive line printer. It maintains an indentation level, and provides efficient concatenation through Builder, and that's it.

  3. type Prints a = a -> Printer ()

    calligraphy Calligraphy.Util.Printer

    No documentation available.

  4. module Data.Path

    No documentation available.

  5. data Path

    can-i-haz Data.Path

    No documentation available.

  6. newtype Pos (pos :: Nat) (oldtag :: k) (m :: Type -> Type) a

    capability Capability.Accessors

    Access the value at position pos in the context m. Example: 

    newtype MyReader a = MyReader (Reader (Int, Bool) a)
deriving (HasReader 1 Int) via
Pos 1 () (MonadReader (Reader (Int, Bool)))
    Converts the HasReader () (Int, Bool) instance of MonadReader (Reader (Int, Bool)) to a HasReader 1 Int instance by focusing on the first element of the tuple. The implied number tag can be renamed to a more descriptive name using the Rename combinator: 
    newtype MyReader a = MyReader (Reader (Int, Bool) a)
deriving (HasReader "foo" Int) via
Rename 1 (Pos 1 () (MonadReader (Reader (Int, Bool))))

  7. Pos :: m a -> Pos (pos :: Nat) (oldtag :: k) (m :: Type -> Type) a

    capability Capability.Accessors

    No documentation available.

  8. data Proxy (t :: k)

    capability Capability.Reflection

    Proxy is a type that holds no data, but has a phantom parameter of arbitrary type (or even kind). Its use is to provide type information, even though there is no value available of that type (or it may be too costly to create one). Historically, Proxy :: Proxy a is a safer alternative to the undefined :: a idiom. 

    >>> Proxy :: Proxy (Void, Int -> Int)
Proxy
    Proxy can even hold types of higher kinds, 
    >>> Proxy :: Proxy Either
Proxy

    >>> Proxy :: Proxy Functor
Proxy

    >>> Proxy :: Proxy complicatedStructure
Proxy

  9. Proxy :: Proxy (t :: k)

    capability Capability.Reflection

    No documentation available.

  10. data PullException

    casa-client Casa.Client

    An exception from blob consuming/sending.

Page 1253 of many | Previous | Next