Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Agda.Compiler.Backend.Base
Documentation
data Backend_boot tcm where Source #
Constructors
Backend :: NFData opts => Backend'_boot tcm opts env menv mod def -> Backend_boot tcm |
Instances
NFData (Backend_boot tcm) Source # | |
Defined in Agda.Compiler.Backend.Base Methods rnf :: Backend_boot tcm -> () # |
data Backend'_boot tcm opts env menv mod def Source #
Constructors
Backend' | |
Fields
|