Agda-2.5.1: A dependently typed functional programming language and proof assistant

Safe HaskellSafe
LanguageHaskell98

Agda.Compiler.UHC.Bridge

Description

Exports the UHC API, and provides dummy definitions if the backend is disabled.

Documentation

pp :: PP a => a -> PP_Doc Source

destructCTag :: a -> (HsName -> HsName -> Int -> Int -> a) -> CTag -> a Source

mkPatCon :: CTag -> CPatRest -> [CPatFld] -> CPat Source