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.
cbasicFromList :: (CFreeMonoid f, Dom f a) => [a] -> f asubcategories Control.Subcategory.Foldable No documentation available.
cfromList :: (CFreeMonoid f, Dom f a) => [a] -> f asubcategories Control.Subcategory.Foldable No documentation available.
cfromListN :: (CFreeMonoid f, Dom f a) => Int -> [a] -> f asubcategories Control.Subcategory.Foldable The cfromListN function takes the input list's length as a hint. Its behaviour should be equivalent to cfromList. The hint can be used to construct the structure l more efficiently compared to cfromList. If the given hint does not equal to the input list's length the behaviour of fromListN is not specified.
fastFromList :: [a] -> Pattern atidal-core Sound.Tidal.Core Turns a list of values into a pattern, playing all of them per cycle. The following are equivalent:
d1 $ n (fastFromList [0, 1, 2]) # s "superpiano" d1 $ n "[0 1 2]" # s "superpiano"
fixedFromList :: [a] -> (forall (n :: PeanoNat) . () => PeanoNatType n -> FixedList n a -> r) -> rwitness Data.Type.Witness.Specific.FixedList No documentation available.
-
witness Data.Type.Witness.Specific.OrderedWitnessMap.Of Create a dictionary from a list of witness/value pairs
witnessMapOfFromList :: forall (w :: Type -> Type) . [SomeOf w] -> WitnessMapOf wwitness Data.Type.Witness.Specific.WitnessMap.Of Create a dictionary from a list of witness/value pairs
mnameFromList :: [Name] -> ModuleNameAgda Agda.Syntax.Abstract.Name No documentation available.
mnameFromList1 :: List1 Name -> ModuleNameAgda Agda.Syntax.Abstract.Name No documentation available.
qnameFromList :: List1 Name -> QNameAgda Agda.Syntax.Abstract.Name No documentation available.