Hoogle Search

Within LTS Haskell 24.6 (ghc-9.10.2)

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

  1. strList :: Str a -> [a]

    uniplate Data.Generics.Str

    Convert a Str to a list, assumes the value was created with listStr

  2. uniplateOnList :: BiplateType a b -> BiplateType [a] b

    uniplate Data.Generics.UniplateOn

    Used for defining instances UniplateFoo a => UniplateFoo [a]

  3. uniplateList :: Uniplate on => on -> ([on], [on] -> on)

    uniplate Data.Generics.UniplateStr

    Compatibility method, for direct users of the old list-based uniplate function

  4. uniplateOnList :: BiplateType a b -> BiplateType [a] b

    uniplate Data.Generics.UniplateStrOn

    Used for defining instances UniplateFoo a => UniplateFoo [a]

  5. fromList :: forall (v :: Type -> Type) a (n :: Nat) . (Vector v a, KnownNat n) => [a] -> Maybe (Vector v n a)

    vector-sized Data.Vector.Generic.Sized

    O(n) Convert a list to a vector.

  6. fromListN :: forall (v :: Type -> Type) (n :: Nat) a . (Vector v a, KnownNat n) => [a] -> Maybe (Vector v n a)

    vector-sized Data.Vector.Generic.Sized

    O(n) Convert the first n elements of a list to a vector. The length of the resultant vector is inferred from the type.

  7. fromListN' :: forall (v :: Type -> Type) (n :: Nat) a p . (Vector v a, KnownNat n) => p n -> [a] -> Maybe (Vector v n a)

    vector-sized Data.Vector.Generic.Sized

    O(n) Convert the first n elements of a list to a vector. The length of the resultant vector is given explicitly as a Proxy argument.

  8. toList :: forall (v :: Type -> Type) a (n :: Nat) . Vector v a => Vector v n a -> [a]

    vector-sized Data.Vector.Generic.Sized

    O(n) Convert a vector to a list.

  9. withSizedList :: forall (v :: Type -> Type) a r . Vector v a => [a] -> (forall (n :: Nat) . KnownNat n => Vector v n a -> r) -> r

    vector-sized Data.Vector.Generic.Sized

    O(n) Takes a list and returns a continuation providing a vector with a size parameter corresponding to the length of the list. Essentially converts a list into a vector with the proper size parameter, determined at runtime. See withSized

  10. fromList :: forall a (n :: Nat) . (Prim a, KnownNat n) => [a] -> Maybe (Vector n a)

    vector-sized Data.Vector.Primitive.Sized

    O(n) Convert a list to a vector.

Page 87 of many | Previous | Next