Hoogle Search

Within LTS Haskell 24.49 (ghc-9.10.3)

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

Exact lookup

1. fixedFromList :: [a] -> (forall (n :: PeanoNat) . () => PeanoNatType n -> FixedList n a -> r) -> r

   witness	Data.Type.Witness.Specific.FixedList

   No documentation available.

2. 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

3. 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

4. mnameFromList :: [Name] -> ModuleName

   Agda	Agda.Syntax.Abstract.Name

   No documentation available.

5. mnameFromList1 :: List1 Name -> ModuleName

   Agda	Agda.Syntax.Abstract.Name

   No documentation available.

6. qnameFromList :: List1 Name -> QName

   Agda	Agda.Syntax.Abstract.Name

   No documentation available.

7. PrimStringFromList :: PrimitiveId

   Agda	Agda.Syntax.Builtin

   No documentation available.

8. PrimStringFromListInjective :: PrimitiveId

   Agda	Agda.Syntax.Builtin

   No documentation available.

9. freeVariablesFromList :: [Int] -> FreeVariables

   Agda	Agda.Syntax.Common

   No documentation available.

10. telFromList :: ListTel -> Telescope

    Agda	Agda.Syntax.Internal

    Convert a list telescope to a telescope.

Page 74 of many | Previous | Next