Hoogle Search

Within LTS Haskell 24.28 (ghc-9.10.3)

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

Exact lookup

1. data TypeList (d :: k)

   type-map	Data.TypeMap.List

   List-backed type-map.

2. toList :: TypeVector d -> TypeList l

   type-map	Data.TypeMap.Vector

   Convert from a vector to a list.

3. rList :: Riggable f => f a -> f [a]

   type-rig	Data.TypeRig.Riggable

   No documentation available.

4. rList1 :: Riggable f => f a -> f (NonEmpty a)

   type-rig	Data.TypeRig.Riggable

   No documentation available.

5. fromList :: Unboxable a => [a] -> Vector a

   unboxing-vector	Data.Vector.Unboxing

   No documentation available.

6. fromListN :: Unboxable a => Int -> [a] -> Vector a

   unboxing-vector	Data.Vector.Unboxing

   No documentation available.

7. toList :: Unboxable a => Vector a -> [a]

   unboxing-vector	Data.Vector.Unboxing

   No documentation available.

8. lazyKeyMapFromList :: [(Key, v)] -> KeyMap v

   unjson	Data.Unjson.Internal.Aeson.Compat

   No documentation available.

9. nonEmptyList :: forall (m :: Type -> Type) e a . Monad m => e -> TransValidationRuleT e m [a] (NonEmpty a)

   validate-input	Data.Validator

   Check that a list is not empty

10. fromList :: forall (n :: Nat) a . SNatI n => [a] -> Maybe (Vec n a)

    vec	Data.Vec.DataFamily.SpineStrict

    Convert list [a] to Vec n a. Returns Nothing if lengths don't match exactly.

    >>> fromList "foo" :: Maybe (Vec N.Nat3 Char)
    Just ('f' ::: 'o' ::: 'o' ::: VNil)
    

    >>> fromList "quux" :: Maybe (Vec N.Nat3 Char)
    Nothing
    

    >>> fromList "xy" :: Maybe (Vec N.Nat3 Char)
    Nothing
    

Page 229 of many | Previous | Next