:: ZipList a -> [a] -package:fixed-vector

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.

O(n) Convert a vector to a list.

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

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.

O(n) Convert between different vector types.

O(n) Convert different vector types

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(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.