| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Idris.Directives
- directiveAction :: Directive -> Idris ()
Documentation
directiveAction :: Directive -> Idris () Source
Run the action corresponding to a directive
idris-0.10.2: Functional Programming Language with Dependent Types
| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Idris.Directives
directiveAction :: Directive -> Idris () Source
Run the action corresponding to a directive