Safe Haskell	None
Language	GHC2021

Data.InternalQuiver

Synopsis

class IQuiver v e | e -> v where
- src :: e -> v
- tgt :: e -> v

Documentation

class IQuiver v e | e -> v where Source #

Class for Quiver represented by types of edges and vertices

Methods

src :: e -> v Source #

tgt :: e -> v Source #

Instances

Instances details

IQuiver Void Void Source #	Empty graph
Instance details Defined in Data.InternalQuiver Methods src :: Void -> Void Source # tgt :: Void -> Void Source #
IQuiver () () Source #	A graph with one vertex and one loop on it
Instance details Defined in Data.InternalQuiver Methods src :: () -> () Source # tgt :: () -> () Source #
IQuiver a (Codisc a) Source #
Instance details Defined in Data.InternalCategory.Codiscrete Methods src :: Codisc a -> a Source # tgt :: Codisc a -> a Source #
IQuiver a (Disc a) Source #
Instance details Defined in Data.InternalCategory.Discrete Methods src :: Disc a -> a Source # tgt :: Disc a -> a Source #
IQuiver v (Path v e) Source #
Instance details Defined in Data.InternalCategory Methods src :: Path v e -> v Source # tgt :: Path v e -> v Source #
(Comonad f, Polynomial f, GEq (Tag f)) => IQuiver (Pos f) (Dir f) Source #
Instance details Defined in Data.InternalCategory.PolyComonad Methods src :: Dir f -> Pos f Source # tgt :: Dir f -> Pos f Source #
IQuiver (SomeSing k) (Mor k cat) Source #
Instance details Defined in Data.InternalCategory.Morphism Methods src :: Mor k cat -> SomeSing k Source # tgt :: Mor k cat -> SomeSing k Source #
(IQuiver v e, IQuiver w f) => IQuiver (Either v w) (Either e f) Source #
Instance details Defined in Data.InternalQuiver Methods src :: Either e f -> Either v w Source # tgt :: Either e f -> Either v w Source #
(IQuiver v e, IQuiver w f) => IQuiver (v, w) (e, f) Source #
Instance details Defined in Data.InternalQuiver Methods src :: (e, f) -> (v, w) Source # tgt :: (e, f) -> (v, w) Source #