Agda.Interaction.JSONTop

Documentation

jsonREPL :: TCM () -> TCM ()

jsonREPL is a interpreter like mimicGHCi, but outputs JSON-encoded strings.

jsonREPL reads Haskell values (that starts from IOTCM ...) from stdin, interprets them, and outputs JSON-encoded strings. into stdout.

Orphan instances

ToJSON CPUTime

Methods

toJSON :: CPUTime -> Value

toEncoding :: CPUTime -> Encoding

toJSONList :: [CPUTime] -> Value

toEncodingList :: [CPUTime] -> Encoding

ToJSON Range

Methods

toJSON :: Range -> Value

toEncoding :: Range -> Encoding

toJSONList :: [Range] -> Value

toEncodingList :: [Range] -> Encoding

ToJSON InteractionId

Methods

toJSON :: InteractionId -> Value

toEncoding :: InteractionId -> Encoding

toJSONList :: [InteractionId] -> Value

toEncodingList :: [InteractionId] -> Encoding

ToJSON NameInScope

Methods

toJSON :: NameInScope -> Value

toEncoding :: NameInScope -> Encoding

toJSONList :: [NameInScope] -> Value

toEncodingList :: [NameInScope] -> Encoding

ToJSON ProblemId

Methods

toJSON :: ProblemId -> Value

toEncoding :: ProblemId -> Encoding

toJSONList :: [ProblemId] -> Value

toEncodingList :: [ProblemId] -> Encoding

ToJSON Status

Methods

toJSON :: Status -> Value

toEncoding :: Status -> Encoding

toJSONList :: [Status] -> Value

toEncodingList :: [Status] -> Encoding

ToJSON GiveResult

Methods

toJSON :: GiveResult -> Value

toEncoding :: GiveResult -> Encoding

toJSONList :: [GiveResult] -> Value

toEncodingList :: [GiveResult] -> Encoding

ToJSON MakeCaseVariant

Methods

toJSON :: MakeCaseVariant -> Value

toEncoding :: MakeCaseVariant -> Encoding

toJSONList :: [MakeCaseVariant] -> Value

toEncodingList :: [MakeCaseVariant] -> Encoding

ToJSON ComputeMode

Methods

toJSON :: ComputeMode -> Value

toEncoding :: ComputeMode -> Encoding

toJSONList :: [ComputeMode] -> Value

toEncodingList :: [ComputeMode] -> Encoding

ToJSON Rewrite

Methods

toJSON :: Rewrite -> Value

toEncoding :: Rewrite -> Encoding

toJSONList :: [Rewrite] -> Value

toEncodingList :: [Rewrite] -> Encoding

ToJSON CommandState

Methods

toJSON :: CommandState -> Value

toEncoding :: CommandState -> Encoding

toJSONList :: [CommandState] -> Value

toEncodingList :: [CommandState] -> Encoding

EncodeTCM CPUTime

Methods

encodeTCM :: CPUTime -> TCM Value

EncodeTCM Range

Methods

encodeTCM :: Range -> TCM Value

EncodeTCM InteractionId

Methods

encodeTCM :: InteractionId -> TCM Value

EncodeTCM NameInScope

Methods

encodeTCM :: NameInScope -> TCM Value

EncodeTCM ProblemId

Methods

encodeTCM :: ProblemId -> TCM Value

EncodeTCM Status

Methods

encodeTCM :: Status -> TCM Value

EncodeTCM GiveResult

Methods

encodeTCM :: GiveResult -> TCM Value

EncodeTCM DisplayInfo

Methods

encodeTCM :: DisplayInfo -> TCM Value

EncodeTCM MakeCaseVariant

Methods

encodeTCM :: MakeCaseVariant -> TCM Value

EncodeTCM Response

Methods

encodeTCM :: Response -> TCM Value

EncodeTCM ComputeMode

Methods

encodeTCM :: ComputeMode -> TCM Value

EncodeTCM Rewrite

Methods

encodeTCM :: Rewrite -> TCM Value

EncodeTCM CommandState

Methods

encodeTCM :: CommandState -> TCM Value

EncodeTCM ResponseContextEntry

Methods

encodeTCM :: ResponseContextEntry -> TCM Value

EncodeTCM GoalTypeAux

Methods

encodeTCM :: GoalTypeAux -> TCM Value

ToJSON (Position' ())

Methods

toJSON :: Position' () -> Value

toEncoding :: Position' () -> Encoding

toJSONList :: [Position' ()] -> Value

toEncodingList :: [Position' ()] -> Encoding

EncodeTCM (Position' ())

Methods

encodeTCM :: Position' () -> TCM Value

EncodeTCM (OutputForm Expr Expr)

Methods

encodeTCM :: OutputForm Expr Expr -> TCM Value