QIO.VecEq

Documentation

class VecEq v where

Methods

vzero :: v x a

(<+>) :: (Eq a, Num x) => v x a -> v x a -> v x a

(<*>) :: Num x => x -> v x a -> v x a

(<@>) :: (Eq a, Num x) => a -> v x a -> x

fromList :: [(a, x)] -> v x a

toList :: v x a -> [(a, x)]

Instances

VecEq VecEqL

newtype VecEqL x a

Constructors

VecEqL

Fields

unVecEqL :: [(a, x)]

Instances

VecEq VecEqL

(Show x, Show a) => Show (VecEqL x a)

vEqZero :: VecEqL x a

vEqPlus :: (Eq a, Num x) => VecEqL x a -> VecEqL x a -> VecEqL x a

vEqTimes :: Num x => x -> VecEqL x a -> VecEqL x a

vEqAt :: (Eq a, Num x) => a -> VecEqL x a -> x

add :: (Eq a, Num x) => (a, x) -> VecEqL x a -> VecEqL x a

class EqMonad m where

Methods

eqReturn :: Eq a => a -> m a

eqBind :: (Eq a, Eq b) => m a -> (a -> m b) -> m b

Instances

(VecEq v, Num x) => EqMonad (v x)

data AsMonad m a where

Constructors

Embed :: (EqMonad m, Eq a) => m a -> AsMonad m a

Return :: EqMonad m => a -> AsMonad m a

Bind :: EqMonad m => AsMonad m a -> (a -> AsMonad m b) -> AsMonad m b

Instances

EqMonad m => Monad (AsMonad m)

unEmbed :: Eq a => AsMonad m a -> m a