maam-0.3.0.0: Monadic Abstracting Abstract Machines (MAAM) built on Galois Transformers

Safe Haskell	None
Language	Haskell2010

FP.Prelude.Vector

Documentation

type 𝕍 = Vector Source

vec :: ToFold a t => t -> 𝕍 a Source

type 𝕍ᵘ = Vector Source

uvec :: (ToFold a t, Unbox a) => t -> 𝕍ᵘ a Source

data 𝕄 a Source

Constructors

Matrix
Fields matrixRowSize :: ℕ matrixData :: 𝕍 a

Instances

Lookup (ℕ, ℕ) a (𝕄 a) Source

matrix :: ToFold a t => ℕ -> t -> 𝕄 a Source

data 𝕄ᵘ a Source

Constructors

UMatrix
Fields umatrixRowSize :: ℕ umatrixData :: 𝕍ᵘ a

Instances

Unbox a => Lookup (ℕ, ℕ) a (𝕄ᵘ a) Source

umatrix :: (ToFold a t, Unbox a) => ℕ -> t -> 𝕄ᵘ a Source

module Data.Vector.Unboxed