Hoogle Search

Within LTS Haskell 24.45 (ghc-9.10.3)

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

  1. orderedWitnessMapOfFromList :: forall (w :: Type -> Type) . TestOrder w => [SomeOf w] -> OrderedWitnessMapOf w

    witness Data.Type.Witness.Specific.OrderedWitnessMap.Of

    Create a dictionary from a list of witness/value pairs

  2. witnessMapOfFromList :: forall (w :: Type -> Type) . [SomeOf w] -> WitnessMapOf w

    witness Data.Type.Witness.Specific.WitnessMap.Of

    Create a dictionary from a list of witness/value pairs

  3. mnameFromList :: [Name] -> ModuleName

    Agda Agda.Syntax.Abstract.Name

    No documentation available.

  4. mnameFromList1 :: List1 Name -> ModuleName

    Agda Agda.Syntax.Abstract.Name

    No documentation available.

  5. qnameFromList :: List1 Name -> QName

    Agda Agda.Syntax.Abstract.Name

    No documentation available.

  6. PrimStringFromList :: PrimitiveId

    Agda Agda.Syntax.Builtin

    No documentation available.

  7. PrimStringFromListInjective :: PrimitiveId

    Agda Agda.Syntax.Builtin

    No documentation available.

  8. freeVariablesFromList :: [Int] -> FreeVariables

    Agda Agda.Syntax.Common

    No documentation available.

  9. telFromList :: ListTel -> Telescope

    Agda Agda.Syntax.Internal

    Convert a list telescope to a telescope.

  10. telFromList' :: (a -> ArgName) -> ListTel' a -> Telescope

    Agda Agda.Syntax.Internal

    No documentation available.

Page 74 of many | Previous | Next