Modulealgebraic-graphs-0.8Haskell2010

Algebra.Graph.Example.Todo

Creating and manipulating to-do lists

7 declarations

datadata Todo a

Instances6Eq, Num, Show, IsString, Graph, Vertex

Ord a => Eq (Todo a)Defined in algebraic-graphs-0.8 · Algebra.Graph.Example.Todo
(IsString a, Ord a) => Num (Todo a)Defined in algebraic-graphs-0.8 · Algebra.Graph.Example.Todo
(Ord a, Show a) => Show (Todo a)Defined in algebraic-graphs-0.8 · Algebra.Graph.Example.Todo
(IsString a, Ord a) => IsString (Todo a)Defined in algebraic-graphs-0.8 · Algebra.Graph.Example.Todo
Ord a => Graph (Todo a)Defined in algebraic-graphs-0.8 · Algebra.Graph.Example.Todo
type Vertex (Todo a) = aDefined in algebraic-graphs-0.8 · Algebra.Graph.Example.Todo

valuetodo :: Ord a => Todo a -> Maybe [a]

valuelow :: Todo a -> Todo a

valuehigh :: Todo a -> Todo a

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

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

valuepriority :: Int -> Todo a -> Todo a

2 declarations

valueshopping :: Todo String

valueholiday :: Todo String