| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Idris.Directives
- directiveAction :: Directive -> Idris ()
- disambiguate :: Name -> Idris Name
Documentation
directiveAction :: Directive -> Idris () Source
Run the action corresponding to a directive
disambiguate :: Name -> Idris Name Source