Generate GHC code for optimized datatypes and their values
Documentation
showTypeDeclarations :: Definitions -> [QName] -> TCM DocSource
showTypeDeclaration :: Definitions -> QName -> TCM DocSource
underDatatypeParameters :: Nat -> Type -> (Doc -> Type -> TCM (a -> a)) -> (Type -> TCM a) -> TCM aSource
showValueDefinitions :: Definitions -> [QName] -> TCM DocSource
showValueDefinition :: Definitions -> [QName] -> (QName, Definition) -> TCM DocSource
class ShowAsOptimizedKind a whereSource
showAsOptimizedKind :: a -> TCM DocSource
class ShowAsOptimizedType a whereSource
showAsOptimizedType :: a -> TCM DocSource