crem-0.1.0.0: Compositional representable executable machines
Safe HaskellSafe-Inferred
LanguageGHC2021

Crem.Render.RenderableVertices

Description

The RenderableVertices class describes which values of type a should be rendered when drawing a graph (or a topology) with vertices of type a

Synopsis

Documentation

class RenderableVertices a where Source #

The RenderableVertices class is implemented just as a list of elements of type a.

Methods

vertices :: [a] Source #

Instances

Instances details
RenderableVertices All Source # 
Instance details

Defined in Crem.Render.RenderableVertices

Methods

vertices :: [All] Source #

RenderableVertices Any Source # 
Instance details

Defined in Crem.Render.RenderableVertices

Methods

vertices :: [Any] Source #

RenderableVertices Void Source # 
Instance details

Defined in Crem.Render.RenderableVertices

Methods

vertices :: [Void] Source #

RenderableVertices Ordering Source # 
Instance details

Defined in Crem.Render.RenderableVertices

RenderableVertices () Source # 
Instance details

Defined in Crem.Render.RenderableVertices

Methods

vertices :: [()] Source #

RenderableVertices Bool Source # 
Instance details

Defined in Crem.Render.RenderableVertices

Methods

vertices :: [Bool] Source #

RenderableVertices a => RenderableVertices (Identity a) Source # 
Instance details

Defined in Crem.Render.RenderableVertices

Methods

vertices :: [Identity a] Source #

RenderableVertices a => RenderableVertices (Down a) Source # 
Instance details

Defined in Crem.Render.RenderableVertices

Methods

vertices :: [Down a] Source #

RenderableVertices a => RenderableVertices (First a) Source # 
Instance details

Defined in Crem.Render.RenderableVertices

Methods

vertices :: [First a] Source #

RenderableVertices a => RenderableVertices (Last a) Source # 
Instance details

Defined in Crem.Render.RenderableVertices

Methods

vertices :: [Last a] Source #

RenderableVertices a => RenderableVertices (Max a) Source # 
Instance details

Defined in Crem.Render.RenderableVertices

Methods

vertices :: [Max a] Source #

RenderableVertices a => RenderableVertices (Min a) Source # 
Instance details

Defined in Crem.Render.RenderableVertices

Methods

vertices :: [Min a] Source #

RenderableVertices a => RenderableVertices (Dual a) Source # 
Instance details

Defined in Crem.Render.RenderableVertices

Methods

vertices :: [Dual a] Source #

RenderableVertices a => RenderableVertices (Product a) Source # 
Instance details

Defined in Crem.Render.RenderableVertices

Methods

vertices :: [Product a] Source #

RenderableVertices a => RenderableVertices (Sum a) Source # 
Instance details

Defined in Crem.Render.RenderableVertices

Methods

vertices :: [Sum a] Source #

(Enum a, Bounded a) => RenderableVertices (AllVertices a) Source # 
Instance details

Defined in Crem.Render.RenderableVertices

RenderableVertices a => RenderableVertices (Maybe a) Source # 
Instance details

Defined in Crem.Render.RenderableVertices

Methods

vertices :: [Maybe a] Source #

(RenderableVertices a, RenderableVertices b) => RenderableVertices (Either a b) Source # 
Instance details

Defined in Crem.Render.RenderableVertices

Methods

vertices :: [Either a b] Source #

RenderableVertices (Proxy a) Source # 
Instance details

Defined in Crem.Render.RenderableVertices

Methods

vertices :: [Proxy a] Source #

(RenderableVertices a, RenderableVertices b) => RenderableVertices (a, b) Source # 
Instance details

Defined in Crem.Render.RenderableVertices

Methods

vertices :: [(a, b)] Source #

RenderableVertices a => RenderableVertices (Const a b) Source # 
Instance details

Defined in Crem.Render.RenderableVertices

Methods

vertices :: [Const a b] Source #

(RenderableVertices a, RenderableVertices b, RenderableVertices c) => RenderableVertices (a, b, c) Source # 
Instance details

Defined in Crem.Render.RenderableVertices

Methods

vertices :: [(a, b, c)] Source #

(RenderableVertices a, RenderableVertices b, RenderableVertices c, RenderableVertices d) => RenderableVertices (a, b, c, d) Source # 
Instance details

Defined in Crem.Render.RenderableVertices

Methods

vertices :: [(a, b, c, d)] Source #

(RenderableVertices a, RenderableVertices b, RenderableVertices c, RenderableVertices d, RenderableVertices e) => RenderableVertices (a, b, c, d, e) Source # 
Instance details

Defined in Crem.Render.RenderableVertices

Methods

vertices :: [(a, b, c, d, e)] Source #

(RenderableVertices a, RenderableVertices b, RenderableVertices c, RenderableVertices d, RenderableVertices e, RenderableVertices f) => RenderableVertices (a, b, c, d, e, f) Source # 
Instance details

Defined in Crem.Render.RenderableVertices

Methods

vertices :: [(a, b, c, d, e, f)] Source #

(RenderableVertices a, RenderableVertices b, RenderableVertices c, RenderableVertices d, RenderableVertices e, RenderableVertices f, RenderableVertices g) => RenderableVertices (a, b, c, d, e, f, g) Source # 
Instance details

Defined in Crem.Render.RenderableVertices

Methods

vertices :: [(a, b, c, d, e, f, g)] Source #

(RenderableVertices a, RenderableVertices b, RenderableVertices c, RenderableVertices d, RenderableVertices e, RenderableVertices f, RenderableVertices g, RenderableVertices h) => RenderableVertices (a, b, c, d, e, f, g, h) Source # 
Instance details

Defined in Crem.Render.RenderableVertices

Methods

vertices :: [(a, b, c, d, e, f, g, h)] Source #

newtype AllVertices a Source #

This is a newtype to be used with `deriving via`. If a has instances for Enum and Bounded, then `AllVertices a` has an instance of RenderableVertices which lists all the terms of type a.

Constructors

AllVertices a 

Instances

Instances details
(Enum a, Bounded a) => RenderableVertices (AllVertices a) Source # 
Instance details

Defined in Crem.Render.RenderableVertices