:: ZipList a -> [a]

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]

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]

@since base-4.8.0.0

List of elements of a structure, from left to right.

Convert a vector v to a list of scalars.

The above type is a generalization for:

sample :: Signal a -> [a]

Get an infinite list of samples from a Signal The elements in the list correspond to the values of the Signal at consecutive clock cycles

sample s == [s0, s1, s2, s3, ...

NB: This function is not synthesizable

This function computes the arguments of a functorial value.

O(n) Convert a vector to a list

Convert vector to the list

Coerce while preserving the type index.

Given a Lift n constraint in a signature carried by m, sendM promotes arbitrary actions of type n a to m a. It is spiritually similar to lift from the MonadTrans typeclass.

Convert a prim monad to another prim monad. The net effect is that it coerce the state repr to another, so the runtime representation should be the same, otherwise hilary ensues.

O(n) Convert different vector types

Tail of vector. Examples:

>>> import Data.Complex

>>> tail (1,2,3) :: Complex Double
2.0 :+ 3.0

Convert between different vector types

O(1) First element of a vector in a monad. See indexM for an explanation of why this is useful.

O(1) Last element of a vector in a monad. See indexM for an explanation of why this is useful.

O(1) First element in a monad without checking for empty vectors. See indexM for an explanation of why this is useful.

O(1) Last element in a monad without checking for empty vectors. See indexM for an explanation of why this is useful.

Create vector from Foldable data type. Will return Nothing if data type different number of elements that resulting vector.