NOTE: the latest version is 30.0.0

README About Versions Source Modules

RowVector

A module for Row Vector

Types

type RowVector a

= RowVector (Vector a)

Row Vector

Vector Properties

all : (a -> Bool) -> RowVector a -> Bool

Predicate to determine if all values in the RowVector satisfy the given predicate

Functor, Applicative, Monad, Foldable

map : (a -> b) -> RowVector a -> RowVector b

map over a RowVector

map2 : (a -> b -> c) -> RowVector a -> RowVector b -> RowVector c

map2 over a RowVector

foldl : (a -> b -> b) -> b -> RowVector a -> b

Left fold over a RowVector

Manipulation

parseRowVector : Parser a -> Parser (RowVector a)

Parse a RowVector

Modules