Module

Data.TypeNat

Package: purescript-vector
Repository: jutaro/purescript-vector

Simple type level naturals for vector and matrix sizes

#Zero Source

data Zero

Instances

Sized Zero

#One Source

data One

Instances

Sized One

#Two Source

data Two

Instances

Sized Two

#Three Source

data Three

Instances

Sized Three

#Four Source

data Four

Instances

Sized Four

#Sized Source

class Sized a  where

Members

sized :: Proxy a -> Int

Instances

Modules: Data.TypeNat; Data.Vector; Data.Vector2; Data.Vector3; Data.Vector4