matroid-0.0.0.1: matroid (combinatorial pre-geometries) library
Copyright(c) Immanuel Albrecht 2020-202x
LicenseBSD-3
Maintainermail@immanuel-albrecht.de
Stabilityexperimental
PortabilityPOSIX
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.Matroid.Internal

Description

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.

Synopsis

Documentation

fromRk Source #

Arguments

:: Show a 
=> Set a

ground set

-> (Set a -> Int)

rank function

-> RkMatroid a 

matroid constructor given groundset and rank function

namedFromRk Source #

Arguments

:: String

name

-> Set a

ground set

-> (Set a -> Int)

rank function

-> RkMatroid a 

named matroid constructor given groundset and rank function

fromIndep Source #

Arguments

:: Show a 
=> Set a

ground set

-> (Set a -> Bool)

independence test

-> IndepMatroid a 

matroid constructor given groundset and test for independence

namedFromIndep Source #

Arguments

:: String

name

-> Set a

ground set

-> (Set a -> Bool)

independence test

-> IndepMatroid a 

named matroid constructor given groundset and test for independence

fromBasisFilter Source #

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 Source #

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 Source #

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

Instances

Instances details
(Ord a, Show a) => Matroid RkMatroid a Source # 
Instance details

Defined in Data.Matroid.Internal

Show a => Show (RkMatroid a) Source # 
Instance details

Defined in Data.Matroid.Internal

data IndepMatroid a Source #

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

data BasisFilterMatroid a Source #

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