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.

Exact lookup

1. (:$) :: Expr -> Expr -> Expr

   extrapolate	Test.Extrapolate

   function application between expressions

2. data a :-> b

   falsify	Test.Falsify.Generator

   No documentation available.

3. class (c1 a, c2 a) => ((c1 :: k -> Constraint) :&&: (c2 :: k -> Constraint)) (a :: k)

   fixed-vector-hetero	Data.Vector.HFixed.Class

   Type class for combining two constraint constructors. Those are required for ArityC type class.

4. data ((f :: k -> Type) :+: (g :: k -> Type)) (e :: k)

   free-alacarte	Free.AlaCarte

   No documentation available.

5. class (Functor sub, Functor sup) => (sub :: Type -> Type) :<: (sup :: Type -> Type)

   free-alacarte	Free.AlaCarte

   No documentation available.

6. data a ::: p

   gdp	Data.Refined

   Given a type a and a proposition p, the type (a ::: p) represents a value of type a, with an attached "ghost proof" of p. Values of the type (a ::: p) have the same run-time representation as values of the normal type a; the proposition p does not carry a run-time space or time cost.

7. data ((a :: MajorSurgery k) :>> (b :: MajorSurgery k)) (c :: k -> Type) (d :: k -> Type)

   generic-data-surgery	Generic.Data.Surgery

   Composition of surgeries (left-to-right).

   Note

   Surgeries work on normalized representations, so Operate, which applies a surgery to a generic representation, inserts normalization steps before and after the surgery. This means that Operate r (s1 :>> s2) is not quite the same as Operate (Operate r s1) s2. Instead, the latter is equivalent to Operate r (s1 :>> Suture :>> s2), where Suture inserts some intermediate normalization steps.

8. data ((a :: MajorSurgery k) :>> (b :: MajorSurgery k)) (c :: k -> Type) (d :: k -> Type)

   generic-data-surgery	Generic.Data.Surgery.Internal

   Composition of surgeries (left-to-right).

   Note

   Surgeries work on normalized representations, so Operate, which applies a surgery to a generic representation, inserts normalization steps before and after the surgery. This means that Operate r (s1 :>> s2) is not quite the same as Operate (Operate r s1) s2. Instead, the latter is equivalent to Operate r (s1 :>> Suture :>> s2), where Suture inserts some intermediate normalization steps.

9. data a :+ b

   generic-functor	Generic.Functor.Internal.Implicit

   Heterogeneous lists of arrows are constructed as lists separated by (:+) and terminated by ().

   Example

   Given f :: a -> a' and g :: b -> b', (f :+ g :+ ()) is a list with the two elements f and g.

   if
   f :: a -> a'
   g :: b -> b'
   
   then
   f :+ g :+ ()  ::  (a -> a') :+ (b -> b') :+ ()
   

   Those lists are used by gmultimap and multimap.

   bimap_ :: (a -> a') -> (b -> b') -> (Maybe a, [Either b a]) -> (Maybe a', [Either b' a'])
   bimap_ f g = multimap (f :+ g :+ ())
   

10. (:+) :: a -> b -> (:+) a b

    generic-functor	Generic.Functor.Internal.Implicit

    No documentation available.

Page 54 of many | Previous | Next