|
Agda.Auto.NarrowingSearch |
|
|
|
|
Documentation |
|
|
|
class Trav a blk | a -> blk where | Source |
|
| Methods | | | Instances | |
|
|
|
Constructors | forall a . Trav a blk => Term a | |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
data SubConstraints blk | Source |
|
|
|
|
|
|
|
|
Constructors | | Instances | |
|
|
|
Constructors | forall a . Restore (IORef a) a | |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
class Refinable a blk | a -> blk where | Source |
|
| Methods | | | Instances | |
|
|
|
|
|
|
|
|
|
Constructors | | Instances | |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Constructors | LeftDisjunct | | RightDisjunct | |
| Instances | |
|
|
|
|
|
|
Produced by Haddock version 2.4.2 |