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. class Narrow8 a

   hw-int	HaskellWorks.Data.Int.Narrow.Narrow8

   No documentation available.

2. narrow8 :: Narrow8 a => a -> Narrowed8 a

   hw-int	HaskellWorks.Data.Int.Narrow.Narrow8

   No documentation available.

3. module Control.Invertible.BiArrow

   Bidirectional arrows. Taken directly from

   • Artem Alimarine, et al. There and Back Again: Arrows for Invertible Programming. Haskell '05. http://citeseer.ist.psu.edu/alimarine05there.html

4. class (Groupoid a, Category a) => BiArrow (a :: Type -> Type -> Type)

   invertible	Control.Invertible.BiArrow

   The bidirectional arrow class. Instances should satisfy the following laws:

   • f1 <-> g2 >>> g1 <-> f2 = (f1
     >>> g1) <-> (f2 >>> g2)

   • invert (invert f) = f

   • invert (f <-> g) = g <-> f

   • first (f <-> g) = f *** id <-> g ***
     id

   • first h >>> id *** f <-> id *** g = id *** f
     <-> id *** g >>> first h

   • first (first f) >>> assoc = assoc >>> first
     f

   where assoc = [biCase|((x,y),z) <-> (x,(y,z))|]

5. class (BiArrow a, Arrow a) => BiArrow' (a :: Type -> Type -> Type)

   invertible	Control.Invertible.BiArrow

   Bidirectional arrows under Arrow. Although BiArrow should not, strictly speaking, be a subclass of Arrow (as it is often impossible to define arr), this is done because (as the paper says) "conceptually bi-arrows form an extension of the arrow class. Moreover, it allows us to use bi-arrows as normal arrows." This class exists to register this confound.

6. module Control.Invertible.MonadArrow

   A symmetric version of the Kleisli monad transformer arrow. This admits three isomorphic MonadBijection types:

   • MonadArrow (<->) m a b

   • Bijection (MonadFunction m) a b

   • m a <-> m b

   The Alimarine paper just calls it "MoT" for Monad Transformer.

7. newtype MonadArrow (a :: Type -> Type -> Type) (m :: Type -> Type) b c

   invertible	Control.Invertible.MonadArrow

   Bidirectional Kleisli-like monad arrow transformer.

8. MonadArrow :: a (m b) (m c) -> MonadArrow (a :: Type -> Type -> Type) (m :: Type -> Type) b c

   invertible	Control.Invertible.MonadArrow

   No documentation available.

9. runMonadArrow :: MonadArrow (a :: Type -> Type -> Type) (m :: Type -> Type) b c -> a (m b) (m c)

   invertible	Control.Invertible.MonadArrow

   No documentation available.

10. Tarrow :: Token

    language-c-quote	Language.C.Parser.Tokens

    No documentation available.

Page 104 of many | Previous | Next