OAlg.Entity.Sequence.Graph

Contents

Description

graphs of entities in x.

Synopsis

Graph

newtype Graph i x Source #

mapping from an ordered index type i to a Entity type x.

Property Let g = Graph ixs be in Graph i x for a ordered Entity type i and Entity type x, then holds:

Constructors

Graph [(i, x)]

Instances details

Functor (Graph i) Source #
Instance details Defined in OAlg.Entity.Sequence.Graph Methods fmap :: (a -> b) -> Graph i a -> Graph i b # (<$) :: a -> Graph i b -> Graph i a #
(Entity x, Entity i, Ord i) => ConstructableSequence (Graph i) i x Source #
Instance details Defined in OAlg.Entity.Sequence.Definition Methods sequence :: (i -> Maybe x) -> Set i -> Graph i x Source # (<&) :: Graph i x -> Set i -> Graph i x Source #
Ord i => Sequence (Graph i) i x Source #
Instance details Defined in OAlg.Entity.Sequence.Definition Methods graph :: p i -> Graph i x -> Graph i x Source # list :: p i -> Graph i x -> [(x, i)] Source # (??) :: Graph i x -> i -> Maybe x Source #
(Show i, Show x) => Show (Graph i x) Source #
Instance details Defined in OAlg.Entity.Sequence.Graph Methods showsPrec :: Int -> Graph i x -> ShowS # show :: Graph i x -> String # showList :: [Graph i x] -> ShowS #
(Eq i, Eq x) => Eq (Graph i x) Source #
Instance details Defined in OAlg.Entity.Sequence.Graph Methods (==) :: Graph i x -> Graph i x -> Bool # (/=) :: Graph i x -> Graph i x -> Bool #
LengthN (Graph i x) Source #
Instance details Defined in OAlg.Entity.Sequence.Graph Methods lengthN :: Graph i x -> N Source #
(Entity x, Entity i, Ord i) => Validable (Graph i x) Source #
Instance details Defined in OAlg.Entity.Sequence.Graph Methods valid :: Graph i x -> Statement Source #
(Entity x, Entity i, Ord i) => Entity (Graph i x) Source #
Instance details Defined in OAlg.Entity.Sequence.Graph

the length of a graph.

gphxs :: Graph i x -> [(i, x)] Source #

the underlying associations.

gphSqc :: (i -> Maybe x) -> Set i -> Graph i x Source #

the induced graph given by a set of indices and a mapping.

looks up the mapping of an index.