Algebra.Graph.Relation.Reflexive

An abstract implementation of reflexive binary relations. Use Algebra.Graph.Class for polymorphic construction and manipulation.

Data structure

data ReflexiveRelation a

The ReflexiveRelation data type represents a reflexive binary relation over a set of elements. Reflexive relations satisfy all laws of the Reflexive type class and, in particular, the self-loop axiom:

vertex x == vertex x * vertex x

The Show instance produces reflexively closed expressions:

show (1     :: ReflexiveRelation Int) == "edge 1 1"
show (1 * 2 :: ReflexiveRelation Int) == "edges [(1,1),(1,2),(2,2)]"

Instances

Ord a => Eq (ReflexiveRelation a)

Defined in Algebra.Graph.Relation.Reflexive

Methods

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

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

(Ord a, Num a) => Num (ReflexiveRelation a)

Defined in Algebra.Graph.Relation.Reflexive

Methods

(+) :: ReflexiveRelation a -> ReflexiveRelation a -> ReflexiveRelation a

(-) :: ReflexiveRelation a -> ReflexiveRelation a -> ReflexiveRelation a

(*) :: ReflexiveRelation a -> ReflexiveRelation a -> ReflexiveRelation a

negate :: ReflexiveRelation a -> ReflexiveRelation a

abs :: ReflexiveRelation a -> ReflexiveRelation a

signum :: ReflexiveRelation a -> ReflexiveRelation a

fromInteger :: Integer -> ReflexiveRelation a

Ord a => Ord (ReflexiveRelation a)

Defined in Algebra.Graph.Relation.Reflexive

Methods

compare :: ReflexiveRelation a -> ReflexiveRelation a -> Ordering

(<) :: ReflexiveRelation a -> ReflexiveRelation a -> Bool

(<=) :: ReflexiveRelation a -> ReflexiveRelation a -> Bool

(>) :: ReflexiveRelation a -> ReflexiveRelation a -> Bool

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

max :: ReflexiveRelation a -> ReflexiveRelation a -> ReflexiveRelation a

min :: ReflexiveRelation a -> ReflexiveRelation a -> ReflexiveRelation a

(Ord a, Show a) => Show (ReflexiveRelation a)

Defined in Algebra.Graph.Relation.Reflexive

Methods

showsPrec :: Int -> ReflexiveRelation a -> ShowS

show :: ReflexiveRelation a -> String

showList :: [ReflexiveRelation a] -> ShowS

IsString a => IsString (ReflexiveRelation a)

Defined in Algebra.Graph.Relation.Reflexive

Methods

fromString :: String -> ReflexiveRelation a

NFData a => NFData (ReflexiveRelation a)

Defined in Algebra.Graph.Relation.Reflexive

Methods

rnf :: ReflexiveRelation a -> ()

Ord a => Reflexive (ReflexiveRelation a)

Defined in Algebra.Graph.Relation.Reflexive

Ord a => Graph (ReflexiveRelation a)

Defined in Algebra.Graph.Relation.Reflexive

Associated Types

type Vertex (ReflexiveRelation a)

Methods

empty :: ReflexiveRelation a

vertex :: Vertex (ReflexiveRelation a) -> ReflexiveRelation a

overlay :: ReflexiveRelation a -> ReflexiveRelation a -> ReflexiveRelation a

connect :: ReflexiveRelation a -> ReflexiveRelation a -> ReflexiveRelation a

type Vertex (ReflexiveRelation a)

Defined in Algebra.Graph.Relation.Reflexive

type Vertex (ReflexiveRelation a) = a

fromRelation :: Relation a -> ReflexiveRelation a

Construct a reflexive relation from a Relation. Complexity: O(1) time.

toRelation :: Ord a => ReflexiveRelation a -> Relation a

Extract the underlying relation. Complexity: O(n*log(m)) time.