Hoogle Search

Within LTS Haskell 24.40 (ghc-9.10.3)

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

Exact lookup

1. Passed :: a -> Result a

   openapi3	Data.OpenApi.Internal.Schema.Validation

   Validation passed.

2. type family ProdCombine (a :: TypeShape) (b :: TypeShape) :: TypeShape

   openapi3	Data.OpenApi.Internal.TypeShape

   A combined shape for a product type.

3. module Data.OpenApi.ParamSchema

   Types and functions for working with Swagger parameter schema.

4. type Program (instr :: Type -> Type) = ProgramT instr Identity

   operational	Control.Monad.Operational

   The abstract data type Program instr a represents programs, i.e. sequences of primitive instructions.

   • The primitive instructions are given by the type constructor instr :: * -> *.
   • a is the return type of a program.
   Program instr is always a monad and automatically obeys the monad laws.

5. data ProgramT (instr :: Type -> Type) (m :: Type -> Type) a

   operational	Control.Monad.Operational

   The abstract data type ProgramT instr m a represents programs over a base monad m, i.e. sequences of primitive instructions and actions from the base monad.

   • The primitive instructions are given by the type constructor instr :: * -> *.
   • m is the base monad, embedded with lift.
   • a is the return type of a program.
   ProgramT instr m is a monad transformer and automatically obeys both the monad and the lifting laws.

6. type ProgramView (instr :: Type -> Type) = ProgramViewT instr Identity

   operational	Control.Monad.Operational

   View type for inspecting the first instruction. It has two constructors Return and :>>=. (For technical reasons, they are documented at ProgramViewT.)

7. data ProgramViewT (instr :: Type -> Type) (m :: Type -> Type) a

   operational	Control.Monad.Operational

   View type for inspecting the first instruction. This is very similar to pattern matching on lists.

   • The case (Return a) means that the program contains no instructions and just returns the result a.
   • The case (someInstruction :>>= k) means that the first instruction is someInstruction and the remaining program is given by the function k.

8. data PCREExecOption

   pcre-light	Text.Regex.PCRE.Light

   No documentation available.

9. data PCREOption

   pcre-light	Text.Regex.PCRE.Light

   A type for PCRE compile-time options. These are newtyped CInts, which can be bitwise-or'd together, using (.|.)

10. type PCRE = ()

    pcre-light	Text.Regex.PCRE.Light.Base

    No documentation available.

Page 411 of many | Previous | Next