idris-0.10.1: Functional Programming Language with Dependent Types

Safe HaskellNone
LanguageHaskell98

Idris.Directives

Synopsis

Documentation

directiveAction :: Directive -> Idris () Source

Run the action corresponding to a directive