Hoogle Search

Within LTS Haskell 24.25 (ghc-9.10.3)

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

  1. fromListVector :: Shape sh => sh -> [a] -> Array V sh a

    repa Data.Array.Repa.Repr.Vector

    O(n). Convert a list to a boxed vector array.

    • This is an alias for fromList with a more specific type.

  2. fromListReversed :: [a] -> List a

    strict-list StrictList

    Construct from a lazy list in reversed order.

  3. fromListBE :: Bits b => [Bool] -> b

    bitwise Data.Bits.Bitwise

    Convert a big-endian list of bits to Bits.

  4. fromListLE :: Bits b => [Bool] -> b

    bitwise Data.Bits.Bitwise

    Convert a little-endian list of bits to Bits.

  5. fromListWith :: CryptHandle -> (v -> v -> v) -> [(Bytes, v)] -> IO (Map v)

    bytehash Data.Bytes.HashMap

    No documentation available.

  6. fromListWith :: CryptHandle -> (Word -> Word -> Word) -> [(Bytes, Word)] -> IO Map

    bytehash Data.Bytes.HashMap.Word

    No documentation available.

  7. fromListWithDef :: forall (v :: Type -> Type) a . Vector v a => a -> [a] -> Chimera v a

    chimera Data.Chimera

    Create a stream of values from a given prefix, followed by default value afterwards.

  8. fromList' :: IndexedListLiterals input length output => [output] -> input

    indexed-list-literals Data.IndexedListLiterals

    a partial fromList with bad error messages

  9. fromListP :: forall input (length :: Nat) output len . (KnownNat length, ILL input length output) => len length -> [output] -> Maybe input

    indexed-list-literals Data.IndexedListLiterals

    the fromList variants take a list and convert it into a tuple it's sort of the inverse of toList 

    > fromListP (len @3) [1,2,3]
Just (1,2,3)

    > fromListP (len @3) ["word","up"]
Nothing

    > fromListP (len @1) ['z']
Just (Only 'z') @

  10. fromListBindEnv :: [(BindId, (Symbol, SortedReft, a))] -> BindEnv a

    liquid-fixpoint Language.Fixpoint.Types.Environments

    No documentation available.

Page 53 of many | Previous | Next