Hoogle Search
Within LTS Haskell 24.37 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
fixed-vector-hetero Data.Vector.HFixed.Cont List like heterogeneous vector.
data
VecListF (xs :: [α]) (f :: α -> Type)fixed-vector-hetero Data.Vector.HFixed.Cont List-like vector
type family
HomList (n :: PeanoNum) (a :: α) :: [α]fixed-vector-hetero Data.Vector.HFixed.TypeFuns Homogeneous type list with length n and element of type a. It uses type level natural defined in fixed-vector.
-
FoldMap lists: lists represented by their foldMap function. Examples:
-- A right-infinite list c = 1 `cons` c
-- A left-infinite list d = d `snoc` 2
-- A middle-infinite list ?? e = c `append` d
*> head e 1 *> last e 2
-
fmlist Data.FMList -
fmlist Data.FMList No documentation available.
toList :: Foldable t => t a -> [a]fmlist Data.FMList List of elements of a structure, from left to right. If the entire list is intended to be reduced via a fold, just fold the structure directly bypassing the list.
Examples
Basic usage:>>> toList Nothing []
>>> toList (Just 42) [42]
>>> toList (Left "foo") []
>>> toList (Node (Leaf 5) 17 (Node Empty 12 (Leaf 8))) [5,17,12,8]
For lists, toList is the identity:>>> toList [1, 2, 3] [1,2,3]
-
No documentation available.
-
focuslist Data.FocusList A list with a given element having the Focus. FocusList has some invariants that must be protected. You should not use the FocusList constructor or the focusListFocus or focusList accessors. Implemented under the hood as a Seq.
FocusList :: Focus -> !Seq a -> FocusList afocuslist Data.FocusList No documentation available.