Hoogle Search

Within LTS Haskell 24.31 (ghc-9.10.3)

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

Exact lookup

1. PrimStringFromList :: PrimitiveId

   Agda	Agda.Syntax.Builtin

   No documentation available.

2. PrimStringFromListInjective :: PrimitiveId

   Agda	Agda.Syntax.Builtin

   No documentation available.

3. freeVariablesFromList :: [Int] -> FreeVariables

   Agda	Agda.Syntax.Common

   No documentation available.

4. telFromList :: ListTel -> Telescope

   Agda	Agda.Syntax.Internal

   Convert a list telescope to a telescope.

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

   Agda	Agda.Syntax.Internal

   No documentation available.

6. importedNameMapFromList :: (Ord n1, Ord m1) => [ImportedName' (n1, n2) (m1, m2)] -> ImportedNameMap n1 n2 m1 m2

   Agda	Agda.Syntax.Scope.Monad

   Create a ImportedNameMap.

7. primStringFromListInjective :: TCM PrimitiveImpl

   Agda	Agda.TypeChecking.Primitive

   No documentation available.

8. graphFromList :: Ord n => [Edge n e] -> Graph n e

   Agda	Agda.TypeChecking.SizedTypes.WarshallSolver

   No documentation available.

9. profileOptionsFromList :: [ProfileOption] -> ProfileOptions

   Agda	Agda.Utils.ProfileOptions

   Use only for serialization.

10. coinMapFromList :: Ord a => [CoinMapEntry a] -> CoinMap a

    cardano-coin-selection	Cardano.CoinSelection

    Constructs a CoinMap from a list of entries. See CoinMapEntry.

Page 74 of many | Previous | Next