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

EncodeTCM CommandState

Methods

encodeTCM :: CommandState -> TCM Value

EncodeTCM ComputeMode

Methods

encodeTCM :: ComputeMode -> TCM Value

EncodeTCM CurrentFile

Methods

encodeTCM :: CurrentFile -> TCM Value

EncodeTCM Rewrite

Methods

encodeTCM :: Rewrite -> TCM Value

EncodeTCM DisplayInfo

Methods

encodeTCM :: DisplayInfo -> TCM Value

EncodeTCM GiveResult

Methods

encodeTCM :: GiveResult -> TCM Value

EncodeTCM GoalTypeAux

Methods

encodeTCM :: GoalTypeAux -> TCM Value

EncodeTCM Info_Error

Methods

encodeTCM :: Info_Error -> TCM Value

EncodeTCM MakeCaseVariant

Methods

encodeTCM :: MakeCaseVariant -> TCM Value

EncodeTCM Response

Methods

encodeTCM :: Response -> TCM Value

EncodeTCM ResponseContextEntry

Methods

encodeTCM :: ResponseContextEntry -> TCM Value

EncodeTCM Status

Methods

encodeTCM :: Status -> TCM Value

EncodeTCM InteractionId

Methods

encodeTCM :: InteractionId -> TCM Value

EncodeTCM MetaId

Methods

encodeTCM :: MetaId -> TCM Value

EncodeTCM ProblemId

Methods

encodeTCM :: ProblemId -> TCM Value

EncodeTCM NameInScope

Methods

encodeTCM :: NameInScope -> TCM Value

EncodeTCM Blocker

Methods

encodeTCM :: Blocker -> TCM Value

EncodeTCM Range

Methods

encodeTCM :: Range -> TCM Value

EncodeTCM NamedMeta

Methods

encodeTCM :: NamedMeta -> TCM Value

EncodeTCM TCErr

Methods

encodeTCM :: TCErr -> TCM Value

EncodeTCM TCWarning

Methods

encodeTCM :: TCWarning -> TCM Value

EncodeTCM CPUTime

Methods

encodeTCM :: CPUTime -> TCM Value

ToJSON CommandState

Methods

toJSON :: CommandState -> Value

toEncoding :: CommandState -> Encoding

toJSONList :: [CommandState] -> Value

toEncodingList :: [CommandState] -> Encoding

omitField :: CommandState -> Bool

ToJSON ComputeMode

Methods

toJSON :: ComputeMode -> Value

toEncoding :: ComputeMode -> Encoding

toJSONList :: [ComputeMode] -> Value

toEncodingList :: [ComputeMode] -> Encoding

omitField :: ComputeMode -> Bool

ToJSON CurrentFile

Methods

toJSON :: CurrentFile -> Value

toEncoding :: CurrentFile -> Encoding

toJSONList :: [CurrentFile] -> Value

toEncodingList :: [CurrentFile] -> Encoding

omitField :: CurrentFile -> Bool

ToJSON Rewrite

Methods

toJSON :: Rewrite -> Value

toEncoding :: Rewrite -> Encoding

toJSONList :: [Rewrite] -> Value

toEncodingList :: [Rewrite] -> Encoding

omitField :: Rewrite -> Bool

ToJSON GiveResult

Methods

toJSON :: GiveResult -> Value

toEncoding :: GiveResult -> Encoding

toJSONList :: [GiveResult] -> Value

toEncodingList :: [GiveResult] -> Encoding

omitField :: GiveResult -> Bool

ToJSON MakeCaseVariant

Methods

toJSON :: MakeCaseVariant -> Value

toEncoding :: MakeCaseVariant -> Encoding

toJSONList :: [MakeCaseVariant] -> Value

toEncodingList :: [MakeCaseVariant] -> Encoding

omitField :: MakeCaseVariant -> Bool

ToJSON Status

Methods

toJSON :: Status -> Value

toEncoding :: Status -> Encoding

toJSONList :: [Status] -> Value

toEncodingList :: [Status] -> Encoding

omitField :: Status -> Bool

ToJSON InteractionId

Methods

toJSON :: InteractionId -> Value

toEncoding :: InteractionId -> Encoding

toJSONList :: [InteractionId] -> Value

toEncodingList :: [InteractionId] -> Encoding

omitField :: InteractionId -> Bool

ToJSON MetaId

Methods

toJSON :: MetaId -> Value

toEncoding :: MetaId -> Encoding

toJSONList :: [MetaId] -> Value

toEncodingList :: [MetaId] -> Encoding

omitField :: MetaId -> Bool

ToJSON ModuleNameHash

Methods

toJSON :: ModuleNameHash -> Value

toEncoding :: ModuleNameHash -> Encoding

toJSONList :: [ModuleNameHash] -> Value

toEncodingList :: [ModuleNameHash] -> Encoding

omitField :: ModuleNameHash -> Bool

ToJSON ProblemId

Methods

toJSON :: ProblemId -> Value

toEncoding :: ProblemId -> Encoding

toJSONList :: [ProblemId] -> Value

toEncodingList :: [ProblemId] -> Encoding

omitField :: ProblemId -> Bool

ToJSON NameInScope

Methods

toJSON :: NameInScope -> Value

toEncoding :: NameInScope -> Encoding

toJSONList :: [NameInScope] -> Value

toEncodingList :: [NameInScope] -> Encoding

omitField :: NameInScope -> Bool

ToJSON Range

Methods

toJSON :: Range -> Value

toEncoding :: Range -> Encoding

toJSONList :: [Range] -> Value

toEncodingList :: [Range] -> Encoding

omitField :: Range -> Bool

ToJSON CPUTime

Methods

toJSON :: CPUTime -> Value

toEncoding :: CPUTime -> Encoding

toJSONList :: [CPUTime] -> Value

toEncodingList :: [CPUTime] -> Encoding

omitField :: CPUTime -> Bool

EncodeTCM (Position' ())

Methods

encodeTCM :: Position' () -> TCM Value

ToJSON (Position' ())

Methods

toJSON :: Position' () -> Value

toEncoding :: Position' () -> Encoding

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

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

omitField :: Position' () -> Bool

EncodeTCM (OutputForm Expr Expr)

Methods

encodeTCM :: OutputForm Expr Expr -> TCM Value