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

Safe HaskellSafe
LanguageHaskell2010

Agda.Compiler.UHC.MagicTypes

Description

Defines some magic builtin datatypes.

Synopsis

Documentation

type MagicName = String #

name of a magic, differently translated datatype/constructor

data HsDataType #

Constructors

HsDataType HsName 
HsUnit