|
Agda.Compiler.Agate.OptimizedPrinter |
|
|
Description |
Generate GHC code for optimized datatypes and their values
|
|
|
Documentation |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
class ShowAsOptimizedKind a where | Source |
|
|
|
class ShowAsOptimizedType a where | Source |
|
|
|
class ShowAsOptimizedTerm a where | Source |
|
|
|
Produced by Haddock version 2.6.0 |