Idris2Doc : Language.Reflection.Util

Language.Reflection.Util

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

Reexports

import public Data.List1
import public Data.Vect.Quantifiers
import public Data.Vect
import public Language.Reflection
import public Language.Reflection.Derive
import public Language.Reflection.Syntax
import public Language.Reflection.Types