Data.Matroid.Internal

This module provides internal helpers for the matroid package, for instance data types that help converting different matroid representations to Matroid . . -types.

Although it is exported, using anything from this module that is not re-exported by another module may (and eventually will) break client side code. The main reason for exporting this is so anyone can inspect internals using haddock; it's a little bit like an open door policy for code.

Documentation

fromRk

Arguments

:: Show a

=> Set a

ground set

-> (Set a -> Int)

rank function

-> RkMatroid a

matroid constructor given groundset and rank function

namedFromRk

Arguments

:: String

name

-> Set a

ground set

-> (Set a -> Int)

rank function

-> RkMatroid a

named matroid constructor given groundset and rank function

fromIndep

Arguments

:: Show a

=> Set a

ground set

-> (Set a -> Bool)

independence test

-> IndepMatroid a

matroid constructor given groundset and test for independence

namedFromIndep

Arguments

:: String

name

-> Set a

ground set

-> (Set a -> Bool)

independence test

-> IndepMatroid a

named matroid constructor given groundset and test for independence

fromBasisFilter

Arguments

:: Show a

=> Set a

ground set

-> (Set a -> Set a)

returns maximal independent subset

-> BasisFilterMatroid a

matroid constructor given groundset and set-basis filter

namedFromBasisFilter

Arguments

:: String

name

-> Set a

ground set

-> (Set a -> Set a)

returns maximal independent subset

-> BasisFilterMatroid a

named matroid constructor given groundset and set-basis filter

data RkMatroid a

we use this data type to combine a given rank function with the default implementations from the Matroid typeclass

Instances

(Ord a, Show a) => Matroid RkMatroid a

Defined in Data.Matroid.Internal

Methods

groundset :: RkMatroid a -> Set a

showName :: RkMatroid a -> String

rk :: RkMatroid a -> Set a -> Int

indep :: RkMatroid a -> Set a -> Bool

basis :: RkMatroid a -> Set a -> Set a

cl :: RkMatroid a -> Set a -> Set a

abstract :: RkMatroid a -> AMatroid a

dual :: RkMatroid a -> AMatroid a

restriction :: RkMatroid a -> Set a -> AMatroid a

contraction :: RkMatroid a -> Set a -> AMatroid a

loops :: RkMatroid a -> Set a

coRk :: RkMatroid a -> Set a -> Int

coloops :: RkMatroid a -> Set a

Show a => Show (RkMatroid a)

Defined in Data.Matroid.Internal

Methods

showsPrec :: Int -> RkMatroid a -> ShowS

show :: RkMatroid a -> String

showList :: [RkMatroid a] -> ShowS

data IndepMatroid a

we use this data type to combine a given independence test with the default implementations from the Matroid typeclass

Instances

(Ord a, Show a) => Matroid IndepMatroid a

Defined in Data.Matroid.Internal

Methods

groundset :: IndepMatroid a -> Set a

showName :: IndepMatroid a -> String

rk :: IndepMatroid a -> Set a -> Int

indep :: IndepMatroid a -> Set a -> Bool

basis :: IndepMatroid a -> Set a -> Set a

cl :: IndepMatroid a -> Set a -> Set a

abstract :: IndepMatroid a -> AMatroid a

dual :: IndepMatroid a -> AMatroid a

restriction :: IndepMatroid a -> Set a -> AMatroid a

contraction :: IndepMatroid a -> Set a -> AMatroid a

loops :: IndepMatroid a -> Set a

coRk :: IndepMatroid a -> Set a -> Int

coloops :: IndepMatroid a -> Set a

Show a => Show (IndepMatroid a)

Defined in Data.Matroid.Internal

Methods

showsPrec :: Int -> IndepMatroid a -> ShowS

show :: IndepMatroid a -> String

showList :: [IndepMatroid a] -> ShowS

data BasisFilterMatroid a

we use this data type to combine a given a basis filter with the default implementations from the Matroid typeclass

Instances

(Ord a, Show a) => Matroid BasisFilterMatroid a

Defined in Data.Matroid.Internal

Methods

groundset :: BasisFilterMatroid a -> Set a

showName :: BasisFilterMatroid a -> String

rk :: BasisFilterMatroid a -> Set a -> Int

indep :: BasisFilterMatroid a -> Set a -> Bool

basis :: BasisFilterMatroid a -> Set a -> Set a

cl :: BasisFilterMatroid a -> Set a -> Set a

abstract :: BasisFilterMatroid a -> AMatroid a

dual :: BasisFilterMatroid a -> AMatroid a

restriction :: BasisFilterMatroid a -> Set a -> AMatroid a

contraction :: BasisFilterMatroid a -> Set a -> AMatroid a

loops :: BasisFilterMatroid a -> Set a

coRk :: BasisFilterMatroid a -> Set a -> Int

coloops :: BasisFilterMatroid a -> Set a

Show a => Show (BasisFilterMatroid a)

Defined in Data.Matroid.Internal

Methods

showsPrec :: Int -> BasisFilterMatroid a -> ShowS

show :: BasisFilterMatroid a -> String

showList :: [BasisFilterMatroid a] -> ShowS