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.
fromListPrefix :: forall (n :: Nat) a . SNatI n => [a] -> Maybe (Vec n a)vec Data.Vec.Pull Convert list [a] to Vec n a. Returns Nothing if input list is too short.
>>> L.fromPull <$> fromListPrefix "foo" :: Maybe (L.Vec N.Nat3 Char) Just ('f' ::: 'o' ::: 'o' ::: VNil)
>>> L.fromPull <$> fromListPrefix "quux" :: Maybe (L.Vec N.Nat3 Char) Just ('q' ::: 'u' ::: 'u' ::: VNil)
>>> L.fromPull <$> fromListPrefix "xy" :: Maybe (L.Vec N.Nat3 Char) Nothing
fromListWith :: (Interval k e, Ord k) => (a -> a -> a) -> [(k, a)] -> IntervalMap k aIntervalMap Data.IntervalMap.Generic.Lazy O(n log n). Build a map from a list of key/value pairs with a combining function. See also fromAscListWith.
fromListWithKey :: (Interval k e, Ord k) => (k -> a -> a -> a) -> [(k, a)] -> IntervalMap k aIntervalMap Data.IntervalMap.Generic.Lazy O(n log n). Build a map from a list of key/value pairs with a combining function. See also fromAscListWith.
fromListWith :: (Interval k e, Ord k) => (a -> a -> a) -> [(k, a)] -> IntervalMap k aIntervalMap Data.IntervalMap.Generic.Strict O(n log n). Build a map from a list of key/value pairs with a combining function. See also fromAscListWith.
fromListWithKey :: (Interval k e, Ord k) => (k -> a -> a -> a) -> [(k, a)] -> IntervalMap k aIntervalMap Data.IntervalMap.Generic.Strict O(n log n). Build a map from a list of key/value pairs with a combining function. See also fromAscListWith.
fromListWith :: (Interval k e, Ord k) => (a -> a -> a) -> [(k, a)] -> IntervalMap k aIntervalMap Data.IntervalMap.Lazy O(n log n). Build a map from a list of key/value pairs with a combining function. See also fromAscListWith.
fromListWithKey :: (Interval k e, Ord k) => (k -> a -> a -> a) -> [(k, a)] -> IntervalMap k aIntervalMap Data.IntervalMap.Lazy O(n log n). Build a map from a list of key/value pairs with a combining function. See also fromAscListWith.
fromListWith :: (Interval k e, Ord k) => (a -> a -> a) -> [(k, a)] -> IntervalMap k aIntervalMap Data.IntervalMap.Strict O(n log n). Build a map from a list of key/value pairs with a combining function. See also fromAscListWith.
fromListWithKey :: (Interval k e, Ord k) => (k -> a -> a -> a) -> [(k, a)] -> IntervalMap k aIntervalMap Data.IntervalMap.Strict O(n log n). Build a map from a list of key/value pairs with a combining function. See also fromAscListWith.
fromListEnd :: [a] -> Zipper aListZipper Data.List.Zipper fromListEnd xs returns a zipper containing the elements of xs, focused just off the right end of the list.