Control.Effect.Vector

Documentation

data Z

Instances

type Add Z m

type Add Z m = m

type Plus * Vector Z m

type Plus * Vector Z m = Z

data S n

Instances

type Add (S n) m

type Add (S n) m = S (Add n m)

type Plus * Vector (S n) m

type Plus * Vector (S n) m = Add m (Plus * Vector n m)

data Vector n a where

Constructors

Nil :: Vector Z a

Cons :: a -> Vector n a -> Vector (S n) a

Instances

Effect * Vector

Associated Types

type Unit Vector (m :: Vector -> * -> *) :: k

type Plus Vector (m :: Vector -> * -> *) (f :: Vector) (g :: Vector) :: k

type Inv Vector (m :: Vector -> * -> *) (f :: Vector) (g :: Vector) :: Constraint

Methods

return :: a -> m (Unit Vector m) a

(>>=) :: Inv Vector m f g => m f a -> (a -> m g b) -> m (Plus Vector m f g) b

(>>) :: Inv Vector m f g => m f a -> m g b -> m (Plus Vector m f g) b

type Unit * Vector

type Unit * Vector = S Z

type Plus * Vector Z m

type Plus * Vector Z m = Z

type Inv * Vector s t

type Inv * Vector s t = ()

type Plus * Vector (S n) m

type Plus * Vector (S n) m = Add m (Plus * Vector n m)

type family Add s t

Instances

type Add Z m

type Add Z m = m

type Add (S n) m

type Add (S n) m = S (Add n m)

append :: Vector n a -> Vector m a -> Vector (Add n m) a