Safe Haskell | Safe-Inferred |
---|
- data HP
- type Binding = (String, String)
- type Name_Supply = [String]
- hp_cons :: HP -> HP -> HP
- from_list1 :: [HP] -> HP
- hp_parser :: Parser HP
- hp_parse :: String -> HP
- hp_print :: HP -> String
- hp_simplify :: HP -> HP
- next_nm :: Name_Supply -> (String, Name_Supply)
- hp_find_next_binding :: Name_Supply -> HP -> Maybe (Name_Supply, Binding)
- hp_replace :: Binding -> HP -> HP
- hp_do_next_binding :: Name_Supply -> HP -> Maybe (Name_Supply, Binding, HP)
Documentation
type Name_Supply = [String]Source
from_list1 :: [HP] -> HPSource
hp_simplify :: HP -> HPSource
next_nm :: Name_Supply -> (String, Name_Supply)Source
hp_find_next_binding :: Name_Supply -> HP -> Maybe (Name_Supply, Binding)Source
hp_replace :: Binding -> HP -> HPSource
hp_do_next_binding :: Name_Supply -> HP -> Maybe (Name_Supply, Binding, HP)Source