Safe Haskell	Safe
Language	Haskell98

Agda.Compiler.UHC.Pragmas.Base

Description

Defines UHC Core functions used in other parts of Agda. E.g. parsing Core pragmas uses the parseCoreCode function.

Documentation

Constructors

CTMagic MagicName	Magic name
CTNormal String

Instances

Eq CoreType Source #
Methods (==) :: CoreType -> CoreType -> Bool # (/=) :: CoreType -> CoreType -> Bool #
Show CoreType Source #
Methods showsPrec :: Int -> CoreType -> ShowS # show :: CoreType -> String # showList :: [CoreType] -> ShowS #

Constructors

CCMagic MagicName MagicName
CCNormal HsName HsName Int

Instances

Eq CoreConstr Source #
Methods (==) :: CoreConstr -> CoreConstr -> Bool # (/=) :: CoreConstr -> CoreConstr -> Bool #
Show CoreConstr Source #
Methods showsPrec :: Int -> CoreConstr -> ShowS # show :: CoreConstr -> String # showList :: [CoreConstr] -> ShowS #

Arguments

Instances

Eq HsName Source #
Methods (==) :: HsName -> HsName -> Bool # (/=) :: HsName -> HsName -> Bool #
Ord HsName Source #
Methods compare :: HsName -> HsName -> Ordering # (<) :: HsName -> HsName -> Bool # (<=) :: HsName -> HsName -> Bool # (>) :: HsName -> HsName -> Bool # (>=) :: HsName -> HsName -> Bool # max :: HsName -> HsName -> HsName # min :: HsName -> HsName -> HsName #
Show HsName Source #
Methods showsPrec :: Int -> HsName -> ShowS # show :: HsName -> String # showList :: [HsName] -> ShowS #
Serialize HsName Source #