IGraph.Types

Documentation

data EdgeType

Constructors

D

U

Instances

Eq EdgeType

Methods

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

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

Read EdgeType

Methods

readsPrec :: Int -> ReadS EdgeType

readList :: ReadS [EdgeType]

readPrec :: ReadPrec EdgeType

readListPrec :: ReadPrec [EdgeType]

Show EdgeType

Methods

showsPrec :: Int -> EdgeType -> ShowS

show :: EdgeType -> String

showList :: [EdgeType] -> ShowS

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

PShow EdgeType

Associated Types

type ShowsPrec arg arg1 arg2 :: Symbol

type Show_ arg :: Symbol

type ShowList arg arg1 :: Symbol

SShow EdgeType

Methods

sShowsPrec :: Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply ShowsPrecSym0 t1) t2) t3)

sShow_ :: Sing t -> Sing (Apply Show_Sym0 t)

sShowList :: Sing t1 -> Sing t2 -> Sing (Apply (Apply ShowListSym0 t1) t2)

ShowSing EdgeType

Methods

showsSingPrec :: Int -> Sing a -> ShowS

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

Show (Sing z)

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

SuppressUnusedWarnings ShowsPrec_6989586621679101596Sym2

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ShowsPrec_6989586621679101596Sym1

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ShowsPrec_6989586621679101596Sym0

Methods

suppressUnusedWarnings :: ()

type Rep EdgeType

type Rep EdgeType = D1 (MetaData "EdgeType" "IGraph.Types" "haskell-igraph-0.6.0-CwDJnuyOC563EnfndzRe4g" 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 Show_ (arg :: EdgeType)

type Show_ (arg :: EdgeType) = Apply (Show__6989586621679871872Sym0 :: TyFun EdgeType Symbol -> *) arg

type ShowList (arg :: [EdgeType]) arg1

type ShowList (arg :: [EdgeType]) arg1 = Apply (Apply (ShowList_6989586621679871890Sym0 :: TyFun [EdgeType] (TyFun Symbol Symbol -> Type) -> *) arg) arg1

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

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

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

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

type ShowsPrec a1 (a2 :: EdgeType) a3

type ShowsPrec a1 (a2 :: EdgeType) a3 = Apply (Apply (Apply ShowsPrec_6989586621679101596Sym0 a1) a2) a3

type Apply ShowsPrec_6989586621679101596Sym0 (l :: Nat)

type Apply ShowsPrec_6989586621679101596Sym0 (l :: Nat) = ShowsPrec_6989586621679101596Sym1 l

type Apply (ShowsPrec_6989586621679101596Sym1 l1 :: TyFun EdgeType (TyFun Symbol Symbol -> Type) -> *) (l2 :: EdgeType)

type Apply (ShowsPrec_6989586621679101596Sym1 l1 :: TyFun EdgeType (TyFun Symbol Symbol -> Type) -> *) (l2 :: EdgeType) = ShowsPrec_6989586621679101596Sym2 l1 l2

type DSym0 = D

type USym0 = U

type family ShowsPrec_6989586621679101596 (a :: Nat) (a :: EdgeType) (a :: Symbol) :: Symbol where ...

Equations

ShowsPrec_6989586621679101596 _ D a_6989586621679101587 = Apply (Apply ShowStringSym0 "D") a_6989586621679101587

ShowsPrec_6989586621679101596 _ U a_6989586621679101589 = Apply (Apply ShowStringSym0 "U") a_6989586621679101589

type ShowsPrec_6989586621679101596Sym3 (t :: Nat) (t :: EdgeType) (t :: Symbol) = ShowsPrec_6989586621679101596 t t t

data ShowsPrec_6989586621679101596Sym2 (l :: Nat) (l :: EdgeType) (l :: TyFun Symbol Symbol)

Constructors

SameKind (Apply (ShowsPrec_6989586621679101596Sym2 l l) arg) (ShowsPrec_6989586621679101596Sym3 l l arg) => ShowsPrec_6989586621679101596Sym2KindInference

Instances

SuppressUnusedWarnings ShowsPrec_6989586621679101596Sym2

Methods

suppressUnusedWarnings :: ()

type Apply (ShowsPrec_6989586621679101596Sym2 l1 l2 :: TyFun Symbol Symbol -> *) (l3 :: Symbol)

type Apply (ShowsPrec_6989586621679101596Sym2 l1 l2 :: TyFun Symbol Symbol -> *) (l3 :: Symbol) = ShowsPrec_6989586621679101596 l1 l2 l3

data ShowsPrec_6989586621679101596Sym1 (l :: Nat) (l :: TyFun EdgeType (TyFun Symbol Symbol -> Type))

Constructors

SameKind (Apply (ShowsPrec_6989586621679101596Sym1 l) arg) (ShowsPrec_6989586621679101596Sym2 l arg) => ShowsPrec_6989586621679101596Sym1KindInference

Instances

SuppressUnusedWarnings ShowsPrec_6989586621679101596Sym1

Methods

suppressUnusedWarnings :: ()

type Apply (ShowsPrec_6989586621679101596Sym1 l1 :: TyFun EdgeType (TyFun Symbol Symbol -> Type) -> *) (l2 :: EdgeType)

type Apply (ShowsPrec_6989586621679101596Sym1 l1 :: TyFun EdgeType (TyFun Symbol Symbol -> Type) -> *) (l2 :: EdgeType) = ShowsPrec_6989586621679101596Sym2 l1 l2

data ShowsPrec_6989586621679101596Sym0 (l :: TyFun Nat (TyFun EdgeType (TyFun Symbol Symbol -> Type) -> Type))

Constructors

SameKind (Apply ShowsPrec_6989586621679101596Sym0 arg) (ShowsPrec_6989586621679101596Sym1 arg) => ShowsPrec_6989586621679101596Sym0KindInference

Instances

SuppressUnusedWarnings ShowsPrec_6989586621679101596Sym0

Methods

suppressUnusedWarnings :: ()

type Apply ShowsPrec_6989586621679101596Sym0 (l :: Nat)

type Apply ShowsPrec_6989586621679101596Sym0 (l :: Nat) = ShowsPrec_6989586621679101596Sym1 l

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

Equations

Equals_6989586621679101610 D D = TrueSym0

Equals_6989586621679101610 U U = TrueSym0

Equals_6989586621679101610 (_ :: 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