Documentation

phpOfModule :: Show a => Module a Name -> Doc Source #

phpOfDataDefs :: [DataDef Name] -> Doc Source #

data Context Source #

phpOfExp Source #

phpOfLets :: Show a => Lets a Name -> Context -> Map Name Int -> (Doc, Map Name Int) Source #

phpOfAlts :: Show a => String -> [Alt a Name] -> Context -> Map Name Int -> Doc Source #

makeFunction :: Show a => Maybe (Bind Name) -> [(Bool, Bind Name)] -> Exp a Name -> Map Name Int -> Doc Source #

noTypes :: [Exp a Name] -> [Exp a Name] Source #

bare_name :: Name -> Doc Source #

bare_name_b :: Bind Name -> Doc Source #

var_name_b :: Bind Name -> Doc Source #

var_name_u :: Bound Name -> Doc Source #

var_name_t :: String -> Doc Source #

obj_field :: Doc -> Doc -> Doc Source #

obj_field_tt :: String -> String -> Doc Source #

sanitise_prim :: Name -> Doc Source #

string_of :: Name -> Doc Source #

parenss :: [Doc] -> Doc Source #

phpOfPrimOp :: Name -> [Doc] -> Doc Source #

data OpType Source #

operators :: [(Name, OpType, String)] Source #