-
Notifications
You must be signed in to change notification settings - Fork 16
/
elab-util.ipkg
33 lines (29 loc) · 858 Bytes
/
elab-util.ipkg
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
package elab-util
authors = "stefan-hoeck"
brief = "Utilities and documentation for working with elaborator reflection"
version = 0.6.0
readme = "README.md"
license = "BSD-2 Clause"
sourcedir = "src"
depends = base >= 0.6.0
modules = 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
, Language.Reflection.Refined
, Language.Reflection.Refined.Util
, Language.Reflection.Syntax
, Language.Reflection.Syntax.Ops
, Language.Reflection.Types
, Language.Reflection.Util