Safe Haskell	Safe
Language	Haskell2010

Data.Semimodule.Basis

Contents

Synopsis

Euclidean bases

Constructors

Instances

Eq E1 Source #
Instance details Defined in Data.Semimodule.Basis Methods (==) :: E1 -> E1 -> Bool # (/=) :: E1 -> E1 -> Bool #
Ord E1 Source #
Instance details Defined in Data.Semimodule.Basis Methods compare :: E1 -> E1 -> Ordering # (<) :: E1 -> E1 -> Bool # (<=) :: E1 -> E1 -> Bool # (>) :: E1 -> E1 -> Bool # (>=) :: E1 -> E1 -> Bool # max :: E1 -> E1 -> E1 # min :: E1 -> E1 -> E1 #
Show E1 Source #
Instance details Defined in Data.Semimodule.Basis Methods showsPrec :: Int -> E1 -> ShowS # show :: E1 -> String # showList :: [E1] -> ShowS #

e1 :: a -> E1 -> a Source #

fillE1 :: Basis E1 f => a -> f a Source #

Constructors

E21
E22

Instances

Eq E2 Source #
Instance details Defined in Data.Semimodule.Basis Methods (==) :: E2 -> E2 -> Bool # (/=) :: E2 -> E2 -> Bool #
Ord E2 Source #
Instance details Defined in Data.Semimodule.Basis Methods compare :: E2 -> E2 -> Ordering # (<) :: E2 -> E2 -> Bool # (<=) :: E2 -> E2 -> Bool # (>) :: E2 -> E2 -> Bool # (>=) :: E2 -> E2 -> Bool # max :: E2 -> E2 -> E2 # min :: E2 -> E2 -> E2 #
Show E2 Source #
Instance details Defined in Data.Semimodule.Basis Methods showsPrec :: Int -> E2 -> ShowS # show :: E2 -> String # showList :: [E2] -> ShowS #

e2 :: a -> a -> E2 -> a Source #

fillE2 :: Basis E2 f => a -> a -> f a Source #

Constructors

Instances

Eq E3 Source #
Instance details Defined in Data.Semimodule.Basis Methods (==) :: E3 -> E3 -> Bool # (/=) :: E3 -> E3 -> Bool #
Ord E3 Source #
Instance details Defined in Data.Semimodule.Basis Methods compare :: E3 -> E3 -> Ordering # (<) :: E3 -> E3 -> Bool # (<=) :: E3 -> E3 -> Bool # (>) :: E3 -> E3 -> Bool # (>=) :: E3 -> E3 -> Bool # max :: E3 -> E3 -> E3 # min :: E3 -> E3 -> E3 #
Show E3 Source #
Instance details Defined in Data.Semimodule.Basis Methods showsPrec :: Int -> E3 -> ShowS # show :: E3 -> String # showList :: [E3] -> ShowS #

e3 :: a -> a -> a -> E3 -> a Source #

fillE3 :: Basis E3 f => a -> a -> a -> f a Source #

Constructors

Instances

Eq E4 Source #
Instance details Defined in Data.Semimodule.Basis Methods (==) :: E4 -> E4 -> Bool # (/=) :: E4 -> E4 -> Bool #
Ord E4 Source #
Instance details Defined in Data.Semimodule.Basis Methods compare :: E4 -> E4 -> Ordering # (<) :: E4 -> E4 -> Bool # (<=) :: E4 -> E4 -> Bool # (>) :: E4 -> E4 -> Bool # (>=) :: E4 -> E4 -> Bool # max :: E4 -> E4 -> E4 # min :: E4 -> E4 -> E4 #
Show E4 Source #
Instance details Defined in Data.Semimodule.Basis Methods showsPrec :: Int -> E4 -> ShowS # show :: E4 -> String # showList :: [E4] -> ShowS #

e4 :: a -> a -> a -> a -> E4 -> a Source #

fillE4 :: Basis E4 f => a -> a -> a -> a -> f a Source #

Constructors

Instances

Eq E6 Source #
Instance details Defined in Data.Semimodule.Basis Methods (==) :: E6 -> E6 -> Bool # (/=) :: E6 -> E6 -> Bool #
Ord E6 Source #
Instance details Defined in Data.Semimodule.Basis Methods compare :: E6 -> E6 -> Ordering # (<) :: E6 -> E6 -> Bool # (<=) :: E6 -> E6 -> Bool # (>) :: E6 -> E6 -> Bool # (>=) :: E6 -> E6 -> Bool # max :: E6 -> E6 -> E6 # min :: E6 -> E6 -> E6 #
Show E6 Source #
Instance details Defined in Data.Semimodule.Basis Methods showsPrec :: Int -> E6 -> ShowS # show :: E6 -> String # showList :: [E6] -> ShowS #