Data.Graph.Polymorphic.Internal

You should try to avoid using this module. It has the raw PointsTo and consequently allows you to construct :~>: which aren't actually linked.

Documentation

data a :~>: b infixr 2

Represents the edge in a directed graph with nodes a and b

Constructors

a `PointsTo` b infixr 2

Instances

(~~>) a b => a ~~> ((:~>:) b c)

(~~>) a b => (FromMany a) ~~> ((:~>:) b c)

(Eq a, Eq b) => Eq ((:~>:) a b)

(Ord a, Ord b) => Ord ((:~>:) a b)

(Read a, Read b) => Read ((:~>:) a b)

(Show a, Show b) => Show ((:~>:) a b)

Generic ((:~>:) a b)

((~~>) a b, (~~>) b c) => ((:~>:) a b) ~~> c

type Rep ((:~>:) a b)