| Agda-2.2.6: A dependently typed functional programming language and proof assistant | Source code | Contents | Index

Agda.Auto.Print

Documentation

printExp :: [MId] -> MExp o -> IO String | Source

pexp :: Int -> [MId] -> MExp o -> IO String | Source

pid :: [MId] -> MId -> String | Source

par :: Monad m => Int -> Int -> String -> m String | Source

pelr :: [MId] -> Elr o -> IO String | Source

pargs :: [MId] -> MArgList o -> IO String | Source

printConst :: ConstRef o -> IO String | Source

printClause :: Clause o -> IO String | Source

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

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

printId :: String -> String | Source

Produced by Haddock version 2.4.2