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 |