Protocol.SExp

Definitions

data SExp : Type

Totality: total
Visibility: public export
Constructors:

SExpList : List SExp -> SExp

StringAtom : String -> SExp

BoolAtom : Bool -> SExp

IntegerAtom : Integer -> SExp

SymbolAtom : String -> SExp

Hints:

SExpable SExp

Show SExp

interface SExpable : Type -> Type

Parameters: a
Methods:

toSExp : a -> SExp

Implementations:

SExpable Hints

SExpable IDECommand

SExpable Formatting

SExpable Properties

SExpable HolePremise

SExpable HoleData

SExpable REPLOption

SExpable MetaVarLemma

SExpable IdrisVersion

SExpable Result

SExpable FileContext

SExpable Highlight

SExpable LwHighlight

SExpable SourceHighlight

SExpable a => SExpable (Span a)

SExpable ReplyPayload

SExpable Reply

SExpable Request

SExpable Name

SExpable SExp

SExpable Bool

SExpable String

SExpable Integer

SExpable Int

SExpable Nat

(SExpable a, SExpable b) => SExpable (a, b)

SExpable a => SExpable (List a)

SExpable a => SExpable (List1 a)

SExpable a => SExpable (Maybe a)

SExpable Decoration

toSExp : SExpable a => a -> SExp

Totality: total
Visibility: public export

interface FromSExpable : Type -> Type

Parameters: a
Methods:

fromSExp : SExp -> Maybe a

Implementations:

FromSExpable Hints

FromSExpable IDECommand

FromSExpable Formatting

FromSExpable Properties

FromSExpable HolePremise

FromSExpable HoleData

FromSExpable REPLOption

FromSExpable MetaVarLemma

FromSExpable IdrisVersion

FromSExpable Result

FromSExpable FileContext

FromSExpable Highlight

FromSExpable LwHighlight

FromSExpable SourceHighlight

FromSExpable a => FromSExpable (Span a)

FromSExpable ReplyPayload

FromSExpable Reply

FromSExpable Request

FromSExpable Bool

FromSExpable String

FromSExpable Integer

FromSExpable Int

FromSExpable Nat

(FromSExpable a, FromSExpable b) => FromSExpable (a, b)

FromSExpable a => FromSExpable (List a)

FromSExpable a => FromSExpable (List1 a)

FromSExpable Decoration

fromSExp : FromSExpable a => SExp -> Maybe a

Totality: total
Visibility: public export