Safe Haskell	None
Language	Haskell2010

Algebra.Graph.Example.Todo

Documentation

Instances details

Ord a => Eq (Todo a) Source #
Instance details Defined in Algebra.Graph.Example.Todo Methods (==) :: Todo a -> Todo a -> Bool # (/=) :: Todo a -> Todo a -> Bool #
(IsString a, Ord a) => Num (Todo a) Source #
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) Source #
Instance details 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) Source #
Instance details Defined in Algebra.Graph.Example.Todo Methods fromString :: String -> Todo a #
Ord a => Graph (Todo a) Source #
Instance details Defined in Algebra.Graph.Example.Todo Associated Types type Vertex (Todo a) Source # Methods empty :: Todo a Source # vertex :: Vertex (Todo a) -> Todo a Source # overlay :: Todo a -> Todo a -> Todo a Source # connect :: Todo a -> Todo a -> Todo a Source #
type Vertex (Todo a) Source #
Instance details Defined in Algebra.Graph.Example.Todo type Vertex (Todo a) = a

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