IGraph.Types

Documentation

data EdgeType

Constructors

D

U

Instances

Eq EdgeType

Methods

(==) :: EdgeType -> EdgeType -> Bool

(/=) :: EdgeType -> EdgeType -> Bool

Generic EdgeType

Associated Types

type Rep EdgeType :: * -> *

Methods

from :: EdgeType -> Rep EdgeType x

to :: Rep EdgeType x -> EdgeType

Serialize EdgeType

Methods

put :: Putter EdgeType

get :: Get EdgeType

SEq EdgeType

Methods

(%==) :: Sing a -> Sing b -> Sing (a == b)

(%/=) :: Sing a -> Sing b -> Sing (a /= b)

PEq EdgeType

Associated Types

type x == y :: Bool

type x /= y :: Bool

SDecide EdgeType

Methods

(%~) :: Sing a -> Sing b -> Decision (a :~: b)

SingKind EdgeType

Associated Types

type Demote EdgeType = (r :: *)

Methods

fromSing :: Sing a -> Demote EdgeType

toSing :: Demote EdgeType -> SomeSing EdgeType

SingI D

Methods

sing :: Sing D

SingI U

Methods

sing :: Sing U

type Rep EdgeType

type Rep EdgeType = D1 (MetaData "EdgeType" "IGraph.Types" "haskell-igraph-0.7.0-28bZ7LxlsbjHs79mtNetQJ" False) (C1 (MetaCons "D" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "U" PrefixI False) (U1 :: * -> *))

data Sing (z :: EdgeType)

data Sing (z :: EdgeType) where

• SD :: Sing D
• SU :: Sing U

type Demote EdgeType

type Demote EdgeType = EdgeType

type (x :: EdgeType) /= (y :: EdgeType)

type (x :: EdgeType) /= (y :: EdgeType) = Not (x == y)

type (a :: EdgeType) == (b :: EdgeType)

type (a :: EdgeType) == (b :: EdgeType) = Equals_6989586621679077654 a b

type DSym0 = D

type USym0 = U

type family Equals_6989586621679077654 (a :: EdgeType) (b :: EdgeType) :: Bool where ...

Equations

Equals_6989586621679077654 D D = TrueSym0

Equals_6989586621679077654 U U = TrueSym0

Equals_6989586621679077654 (_ :: EdgeType) (_ :: EdgeType) = FalseSym0

type SEdgeType = (Sing :: EdgeType -> Type)

type Node = Int

type LNode a = (Node, a)

type Edge = (Node, Node)

type LEdge a = (Edge, a)

vertexAttr :: String

edgeAttr :: String