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.

Exact lookup

1. module Rerefined.Predicates

   Predicate re-exports, for when you're heavily using refinement types.

2. Pos :: Sign

   rerefined	Rerefined.Predicates

   No documentation available.

3. module Data.PolyMap

   No documentation available.

4. data PolyMap (c :: Type -> Constraint) (f :: Type -> Type) a

   reroute	Data.PolyMap

   No documentation available.

5. data Path (as :: [Type]) (pathState :: PathState)

   reroute	Web.Routing.Combinators

   No documentation available.

6. data PathState

   reroute	Web.Routing.Combinators

   No documentation available.

7. PI_Empty :: PathInternal ('[] :: [Type])

   reroute	Web.Routing.SafeRouting

   No documentation available.

8. PI_StaticCons :: forall (as :: [Type]) . Text -> PathInternal as -> PathInternal as

   reroute	Web.Routing.SafeRouting

   No documentation available.

9. PI_VarCons :: forall a (as1 :: [Type]) . (FromHttpApiData a, Typeable a) => PathInternal as1 -> PathInternal (a ': as1)

   reroute	Web.Routing.SafeRouting

   No documentation available.

10. PI_Wildcard :: forall (as1 :: [Type]) . PathInternal as1 -> PathInternal (Text ': as1)

    reroute	Web.Routing.SafeRouting

    No documentation available.

Page 988 of many | Previous | Next