Data.Matrix.AsXYZ.Common

Documentation

data Sign a

Constructors

P a

N a

Zero

Instances

Eq a => Eq (Sign a)

Defined in Data.Matrix.AsXYZ.Common

Methods

(==) :: Sign a -> Sign a -> Bool

(/=) :: Sign a -> Sign a -> Bool

Show a => Show (Sign a)

Defined in Data.Matrix.AsXYZ.Common

Methods

showsPrec :: Int -> Sign a -> ShowS

show :: Sign a -> String

showList :: [Sign a] -> ShowS

data Var a

Constructors

X a

Y a

Z a

W a

Instances

Functor Var

Defined in Data.Matrix.AsXYZ.Common

Methods

fmap :: (a -> b) -> Var a -> Var b

(<$) :: a -> Var b -> Var a

Eq a => Eq (Var a)

Defined in Data.Matrix.AsXYZ.Common

Methods

(==) :: Var a -> Var a -> Bool

(/=) :: Var a -> Var a -> Bool

Show a => Show (Var a)

Defined in Data.Matrix.AsXYZ.Common

Methods

showsPrec :: Int -> Var a -> ShowS

show :: Var a -> String

showList :: [Var a] -> ShowS

data Val a

Constructors

I a

F a

R a

Instances

Functor Val

Defined in Data.Matrix.AsXYZ.Common

Methods

fmap :: (a -> b) -> Val a -> Val b

(<$) :: a -> Val b -> Val a

Show a => Show (Val a)

Defined in Data.Matrix.AsXYZ.Common

Methods

showsPrec :: Int -> Val a -> ShowS

show :: Val a -> String

showList :: [Val a] -> ShowS

rowVars :: Integral a => [Ratio a] -> [Sign (Var (Ratio a))]