Algebra.Graph.Example.Todo

algebraic-graphs-0.7: A library for algebraic graph construction and transformation

Safe Haskell | None
Language | Haskell2010

Algebra.Graph.Example.Todo

# Documentation

data Todo a #

#### Instances

Instances details

Ord a => Graph (Todo a) # |
Instance details Defined in Algebra.Graph.Example.Todo Associated Types
type Vertex (Todo a) |
Instance details Defined in Algebra.Graph.Example.Todo type Vertex (Todo a) = 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 #
(IsString a, Ord a) => IsString (Todo a) # |
Instance details Defined in Algebra.Graph.Example.Todo Methods fromString :: String -> Todo a #
(IsString a, Ord a) => Num (Todo a) # |
Instance details 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) # |
Instance details Defined in Algebra.Graph.Example.Todo Methods showsPrec :: Int -> Todo a -> ShowS # show :: Todo a -> String # showList :: [Todo a] -> ShowS #
Ord a => Eq (Todo a) # |
Instance details Defined in Algebra.Graph.Example.Todo Methods (==) :: Todo a -> Todo a -> Bool # (/=) :: Todo a -> Todo a -> Bool #
type Vertex (Todo a) # |
Instance details Defined in Algebra.Graph.Example.Todo type Vertex (Todo a) = a

todo :: 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 #