Agda-2.2.6: A dependently typed functional programming language and proof assistant
Agda.Auto.Print
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