Algebra.Graph.Example.Todo

Documentation

data Todo a

Instances

Ord a => Eq (Todo a)

Defined in Algebra.Graph.Example.Todo

Methods

(==) :: Todo a -> Todo a -> Bool

(/=) :: Todo a -> Todo a -> Bool

(IsString a, Ord a) => Num (Todo a)

Defined in Algebra.Graph.Example.Todo

Methods

(+) :: Todo a -> Todo a -> Todo a

(-) :: Todo a -> Todo a -> Todo a

(*) :: Todo a -> Todo a -> Todo a

negate :: Todo a -> Todo a

abs :: Todo a -> Todo a

signum :: Todo a -> Todo a

fromInteger :: Integer -> Todo a

(Show a, Ord a) => Show (Todo a)

Defined in Algebra.Graph.Example.Todo

Methods

showsPrec :: Int -> Todo a -> ShowS

show :: Todo a -> String

showList :: [Todo a] -> ShowS

(IsString a, Ord a) => IsString (Todo a)

Defined in Algebra.Graph.Example.Todo

Methods

fromString :: String -> Todo a

Ord a => Graph (Todo a)

Defined in Algebra.Graph.Example.Todo

Associated Types

type Vertex (Todo a)

Methods

empty :: Todo a

vertex :: Vertex (Todo a) -> Todo a

overlay :: Todo a -> Todo a -> Todo a

connect :: Todo a -> Todo a -> Todo a

type Vertex (Todo a)

Defined in Algebra.Graph.Example.Todo

type Vertex (Todo a) = a

todo :: forall a. Ord a => Todo a -> Maybe [a]

low :: Todo a -> Todo a

high :: Todo a -> Todo a

(~*~) :: Ord a => Todo a -> Todo a -> Todo a

(>*<) :: Ord a => Todo a -> Todo a -> Todo a

priority :: Int -> Todo a -> Todo a