| Safe Haskell | None |
|---|
Idris.IdeSlave
Documentation
data IdeSlaveCommand Source
Constructors
Instances
Constructors
| SexpList [SExp] | |
| StringAtom String | |
| BoolAtom Bool | |
| IntegerAtom Integer | |
| SymbolAtom String |
idris
| Safe Haskell | None |
|---|
Idris.IdeSlave
data IdeSlaveCommand Source
Constructors
Instances
Constructors
| SexpList [SExp] | |
| StringAtom String | |
| BoolAtom Bool | |
| IntegerAtom Integer | |
| SymbolAtom String |