Hoogle Search

Within LTS Haskell 24.50 (ghc-9.10.3)

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

Exact lookup

1. module Data.Parameterized.Peano

   This defines a type Peano and PeanoRepr for representing a type-level natural at runtime. These type-level numbers are defined inductively instead of using GHC.TypeLits. As a result, type-level computation defined recursively over these numbers works more smoothly. (For example, see the type-level function Repeat below.) Note: as in NatRepr, in UNSAFE mode, the runtime representation of these type-level natural numbers is Word64.

2. data Peano

   parameterized-utils	Data.Parameterized.Peano

   Unary representation for natural numbers

3. data PeanoRepr (n :: Peano)

   parameterized-utils	Data.Parameterized.Peano

   The run time value, stored as an Word64 As these are unary numbers, we don't worry about overflow.

4. data PeanoView (n :: Peano)

   parameterized-utils	Data.Parameterized.Peano

   When we have optimized the runtime representation, we need to have a "view" that decomposes the representation into the standard form.

5. type family Plus (a :: Peano) (b :: Peano) :: Peano

   parameterized-utils	Data.Parameterized.Peano

   Addition

6. class PolyEq u v

   parameterized-utils	Data.Parameterized.TH.GADT

   A polymorphic equality operator that generalizes TestEquality.

7. data PairS f s

   parameterized-utils	Data.Parameterized.Utils.BinTree

   A Strict pair

8. PairS :: f -> s -> PairS f s

   parameterized-utils	Data.Parameterized.Utils.BinTree

   No documentation available.

9. module Pipes.Parse

   Element-agnostic parsing utilities for pipes See Pipes.Parse.Tutorial for an extended tutorial

10. type Parser a (m :: Type -> Type) r = forall x . () => StateT Producer a m x m r

    pipes-parse	Pipes.Parse

    A Parser is an action that reads from and writes to a stored Producer

Page 469 of many | Previous | Next