idris
Idris.IdeSlave
parseMessage :: String -> Either Err (SExp, Integer)Source
convSExp :: SExpable a => String -> a -> Integer -> StringSource
data IdeSlaveCommand Source
Constructors
Instances
sexpToCommand :: SExp -> Maybe IdeSlaveCommandSource
data SExp Source
class SExpable a whereSource
Methods
toSExp :: a -> SExpSource