Documentation

printExp :: [MId] -> MExp o -> IO StringSource

pexp :: Int -> [MId] -> MExp o -> IO StringSource

pid :: [MId] -> MId -> StringSource

par :: Monad m => Int -> Int -> String -> m StringSource

pelr :: [MId] -> Elr o -> IO StringSource

pargs :: [MId] -> MArgList o -> IO StringSource

printConst :: ConstRef o -> IO StringSource

printClause :: Clause o -> IO StringSource

printPats :: Nat -> [Pat o] -> IO (Nat, String)Source

printPat :: Nat -> Pat o -> IO (Nat, String)Source

printId :: String -> StringSource