Package elab-util - Namespaces

• Derive.Abs
• Derive.Eq
• Derive.Fractional
• Derive.FromChar
• Derive.FromDouble
• Derive.FromString
• Derive.Integral
• Derive.Monoid
• Derive.Neg
• Derive.Num
• Derive.Ord
• Derive.Prelude
• Derive.Semigroup
• Derive.Show
• Language.Reflection.Derive

  Utility types and functions for automatically deriving interface instances. So far, this module does not provide deriving functions for existing interfaces. See Doc.Generic4 for examples, how this could be done using the functionality provided here.
• Language.Reflection.Refined

  The content of this module is based on the tutorial post about [refined primitives](../../Doc/Primitives.md).
• Language.Reflection.Refined.Util

  Utilities for Language.Reflection.Refined
• Language.Reflection.Syntax

  Some utilities for defining and manipulating TTImp values for writing elaborator scripts.
• Language.Reflection.Syntax.Ops

  Operator aliases for some of the functions in `Language.Reflection.Syntax`.
• Language.Reflection.Types
• Language.Reflection.Util

  This module reexports the utilities typically required to write elaborator scripts.