ermine-0.6: Ermine

Safe Haskell	None
Language	Haskell2010

Ermine.Syntax.Module

Documentation

data Module Source

Constructors

Module ModuleName [ModuleName] [Core Convention Int] (Map Global (Either Global Int)) (Map ByteString Int) (Map Global (Type Void Void)) [DataType Void Void]

Instances

Eq Module
Show Module
Binary Module
Serialize Module
Serial Module
HasName Module
HasModuleName Module

definitions :: Lens' Module [Core Convention Int] Source

termExports :: Lens' Module (Map Global (Either Global Int)) Source

instances :: Lens' Module (Map ByteString Int) Source

types :: Lens' Module (Map Global (Type Void Void)) Source

dataDecls :: Lens' Module [DataType Void Void] Source