Safe Haskell | None |
---|

- data Node a = N a a a a
- type PD a = [Node a]
- indices :: Ord a => PD a -> Set a
- trefoil :: PD Int
- data ElMo
- resolve_set :: Ord a => PD a -> Set (Set a)
- resolve_one_set :: Ord a => Node a -> Set (Set a) -> Set (Set a)
- mergeParts :: Ord a => a -> a -> Set (Set a) -> Set (Set a)
- mirror :: PD a -> PD a
- switch :: Node a -> Node a
- switch' :: Set Int -> PD a -> PD a
- replaceBySeveral :: Eq a => a -> [a] -> PD a -> PD a
- replaceFirst :: Eq a => a -> a -> PD a -> PD a
- addHopfy :: Ord a => a -> a -> a -> a -> a -> PD a -> PD a