Data.Vector.Fixed.Cont

Type-level numbers

data S n

data Z

type family Add n m :: *

Isomorphism between Peano number and Nats

class NatIso a b

type family ToPeano (b :: Nat) :: * where ...

type family ToNat (a :: *) :: Nat where ...

Synonyms for small numerals

type N1

type N2

type N3

type N4

type N5

type N6

N-ary functions

type family Fn n a b

data Fun n a b

class Arity n

apply

applyM

Combinators

constFun

curryFirst

uncurryFirst

curryLast

curryMany

apLast

shuffleFun

withFun

Vector type class

type family Dim (v :: * -> *)

class Vector v a

class VectorN v n a

length

class Index k n

Vector as continuation

data ContVec n a

Construction of ContVec

cvec

fromList

fromList'

fromListM

toList

replicate

replicateM

generate

generateM

unfoldr

basis

Constructors

empty

cons

consV

snoc

concat

mk1

mk2

mk3

mk4

mk5

Transformations

map

imap

mapM

imapM

mapM_

imapM_

scanl

scanl1

sequence

sequence_

distribute

collect

distributeM

collectM

tail

reverse

Zips

zipWith

zipWith3

izipWith

izipWith3

zipWithM

zipWithM_

izipWithM

izipWithM_

Running ContVec

runContVec

Getters

head

index

element

elementTy

Vector construction

vector

Folds

foldl

foldl1

foldr

ifoldl

ifoldr

foldM

ifoldM

Special folds

sum

minimum

maximum

and

or

all

any

find

Data.Data.Data

gfoldl

gunfold