Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Agda.Utils.Haskell.Syntax
Documentation
Constructors
Module ModuleName [ModulePragma] [ImportDecl] [Decl] |
data ModulePragma #
Constructors
LanguagePragma [Name] |
data ImportDecl #
Constructors
ImportDecl | |
Fields
|
data ImportSpec #