QIO-1.0: The Quantum IO Monad is a library for defining quantum computations in Haskell Source code Contents Index

QIO.VecEq

Documentation

class VecEq v where Source

Methods vzero :: v x a Source (<+>) :: (Eq a, Num x) => v x a -> v x a -> v x a Source (<*>) :: Num x => x -> v x a -> v x a Source (<@>) :: (Eq a, Num x) => a -> v x a -> x Source fromList :: [(a, x)] -> v x a Source toList :: v x a -> [(a, x)] Source

newtype VecEqL x a Source

Constructors VecEqL unVecEqL :: [(a, x)]

vEqZero :: VecEqL x a Source

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

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

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

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

class EqMonad m where Source

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

data AsMonad m a where Source

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

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

Produced by Haddock version 2.6.0