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 Source # (/=) :: Todo a -> Todo a -> Bool Source #
( IsString a, Ord a) => Num ( Todo a) Source #
Instance details Defined in Algebra.Graph.Example.Todo Methods (+) :: Todo a -> Todo a -> Todo a Source # (-) :: Todo a -> Todo a -> Todo a Source # (*) :: Todo a -> Todo a -> Todo a Source # negate :: Todo a -> Todo a Source # abs :: Todo a -> Todo a Source # signum :: Todo a -> Todo a Source # fromInteger :: Integer -> Todo a Source #
( Show a, Ord a) => Show ( Todo a) Source #
Instance details Defined in Algebra.Graph.Example.Todo Methods showsPrec :: Int -> Todo a -> ShowS Source # show :: Todo a -> String Source # showList :: [ Todo a] -> ShowS Source #
( IsString a, Ord a) => IsString ( Todo a) Source #
Instance details Defined in Algebra.Graph.Example.Todo Methods fromString :: String -> Todo a Source #
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 #