Safe Haskell | None |
---|---|
Language | Haskell2010 |
- composedly :: (f (g a) -> f' (g' a')) -> Compose f g a -> Compose f' g' a'
- type MSLL s a = Clay s (Compose ((,) a) Maybe)
- type SLL a = Fix (Compose ((,) a) Maybe)
- cons :: a -> Maybe (MSLL s a) -> Squishy s (MSLL s a)
- setCar :: MSLL s a -> a -> Squishy s ()
- setCdr :: MSLL s a -> Maybe (MSLL s a) -> Squishy s ()
- list1 :: SLL Char
- sllToList :: SLL a -> [a]
- type MNode s n e = Clay s (Compose (Compose ((,) n) []) ((,) e))
- type Node n e = Fix (Compose (Compose ((,) n) []) ((,) e))
- node :: n -> [(e, MNode s n e)] -> Squishy s (MNode s n e)
- emptyNode :: n -> Squishy s (MNode s n e)
- readNode :: MNode s n e -> Squishy s (n, [(e, MNode s n e)])
- relabelNode :: n -> MNode s n e -> Squishy s ()
- editEdges :: ([(e, MNode s n e)] -> [(e, MNode s n e)]) -> MNode s n e -> Squishy s ()
- addEdge :: e -> MNode s n e -> MNode s n e -> Squishy s ()
- graph1 :: Node String String
Documentation
composedly :: (f (g a) -> f' (g' a')) -> Compose f g a -> Compose f' g' a' Source
Apply a function to the value inside a Compose.
relabelNode :: n -> MNode s n e -> Squishy s () Source