Camfort.Helpers.Vec

Documentation

data Nat

Constructors

Z

S Nat

data Natural n where

Constructors

Zero :: Natural Z

Succ :: Natural n -> Natural (S n)

Instances

Show (Natural n)

Methods

showsPrec :: Int -> Natural n -> ShowS

show :: Natural n -> String

showList :: [Natural n] -> ShowS

data NatBox where

Constructors

NatBox :: Natural n -> NatBox

Instances

Show NatBox

Methods

showsPrec :: Int -> NatBox -> ShowS

show :: NatBox -> String

showList :: [NatBox] -> ShowS

toNatBox :: Int -> NatBox

class IsNatural n where

Minimal complete definition

fromNat

Methods

fromNat :: Proxy n -> Int

Instances

IsNatural Z

Methods

fromNat :: Proxy Nat Z -> Int

IsNatural n => IsNatural (S n)

Methods

fromNat :: Proxy Nat (S n) -> Int

data Vec n a where

Constructors

Nil :: Vec Z a

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

Instances

Functor (Vec n)

Methods

fmap :: (a -> b) -> Vec n a -> Vec n b

(<$) :: a -> Vec n b -> Vec n a

Eq a => Eq (Vec n a)

Methods

(==) :: Vec n a -> Vec n a -> Bool

(/=) :: Vec n a -> Vec n a -> Bool

Ord a => Ord (Vec n a)

Methods

compare :: Vec n a -> Vec n a -> Ordering

(<) :: Vec n a -> Vec n a -> Bool

(<=) :: Vec n a -> Vec n a -> Bool

(>) :: Vec n a -> Vec n a -> Bool

(>=) :: Vec n a -> Vec n a -> Bool

max :: Vec n a -> Vec n a -> Vec n a

min :: Vec n a -> Vec n a -> Vec n a

Show a => Show (Vec n a)

Methods

showsPrec :: Int -> Vec n a -> ShowS

show :: Vec n a -> String

showList :: [Vec n a] -> ShowS

lengthV :: Vec n a -> Int

vmap :: (a -> b) -> Vec n a -> Vec n b

showV :: Show a => Vec n a -> String

type family Max (n :: Nat) (m :: Nat) :: Nat where ...

Equations

Max Z Z = Z

Max Z m = m

Max m Z = m

Max (S n) (S m) = S (Max n m)

zipVec :: Vec m Int -> Vec n Int -> (Vec (Max n m) Int, Vec (Max n m) Int)