| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Data.Graph.Polymorphic.Internal
Description
You should try to avoid using this module.
It has the raw PointsTo and consequently allows you to construct :~>:
which aren't actually linked.
- data a :~>: b = a `PointsTo` b
Documentation
Represents the edge in a directed graph with nodes a and b
Constructors
| a `PointsTo` b infixr 2 |
Instances
| (~~>) a b => a ~~> ((:~>:) b c) Source | |
| (~~>) a b => (FromMany a) ~~> ((:~>:) b c) Source | |
| (Eq a, Eq b) => Eq ((:~>:) a b) Source | |
| (Ord a, Ord b) => Ord ((:~>:) a b) Source | |
| (Read a, Read b) => Read ((:~>:) a b) Source | |
| (Show a, Show b) => Show ((:~>:) a b) Source | |
| Generic ((:~>:) a b) Source | |
| ((~~>) a b, (~~>) b c) => ((:~>:) a b) ~~> c Source | |
| type Rep ((:~>:) a b) Source |