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

Safe HaskellSafe
LanguageHaskell98

Agda.Compiler.UHC.MagicTypes

Description

Defines some magic builtin datatypes.

Synopsis

Documentation

builtinUnitCtor :: HsName Source

type MagicName = String Source

name of a magic, differently translated datatype/constructor

getMagicTypes :: MagicTypeInfo Source

type MagicConstrInfo = Map MagicName CTag Source

type MagicTypeInfo = Map MagicName (HsDataType, MagicConstrInfo) Source

data HsDataType Source

Constructors

HsDataType HsName 
HsUnit