Agda.Interaction.JSONTop
Contents
jsonREPL :: TCM () -> TCM () Source #
jsonREPL is a interpreter like mimicGHCi, but outputs JSON-encoded strings.
jsonREPL
mimicGHCi
jsonREPL reads Haskell values (that starts from IOTCM ...) from stdin, interprets them, and outputs JSON-encoded strings. into stdout.
IOTCM
Methods
toJSON :: CPUTime -> Value
toEncoding :: CPUTime -> Encoding
toJSONList :: [CPUTime] -> Value
toEncodingList :: [CPUTime] -> Encoding
toJSON :: Range -> Value
toEncoding :: Range -> Encoding
toJSONList :: [Range] -> Value
toEncodingList :: [Range] -> Encoding
toJSON :: InteractionId -> Value
toEncoding :: InteractionId -> Encoding
toJSONList :: [InteractionId] -> Value
toEncodingList :: [InteractionId] -> Encoding
toJSON :: NameInScope -> Value
toEncoding :: NameInScope -> Encoding
toJSONList :: [NameInScope] -> Value
toEncodingList :: [NameInScope] -> Encoding
toJSON :: ProblemId -> Value
toEncoding :: ProblemId -> Encoding
toJSONList :: [ProblemId] -> Value
toEncodingList :: [ProblemId] -> Encoding
toJSON :: Status -> Value
toEncoding :: Status -> Encoding
toJSONList :: [Status] -> Value
toEncodingList :: [Status] -> Encoding
toJSON :: GiveResult -> Value
toEncoding :: GiveResult -> Encoding
toJSONList :: [GiveResult] -> Value
toEncodingList :: [GiveResult] -> Encoding
toJSON :: MakeCaseVariant -> Value
toEncoding :: MakeCaseVariant -> Encoding
toJSONList :: [MakeCaseVariant] -> Value
toEncodingList :: [MakeCaseVariant] -> Encoding
toJSON :: ComputeMode -> Value
toEncoding :: ComputeMode -> Encoding
toJSONList :: [ComputeMode] -> Value
toEncodingList :: [ComputeMode] -> Encoding
toJSON :: Rewrite -> Value
toEncoding :: Rewrite -> Encoding
toJSONList :: [Rewrite] -> Value
toEncodingList :: [Rewrite] -> Encoding
toJSON :: CommandState -> Value
toEncoding :: CommandState -> Encoding
toJSONList :: [CommandState] -> Value
toEncodingList :: [CommandState] -> Encoding
encodeTCM :: CPUTime -> TCM Value Source #
encodeTCM :: Range -> TCM Value Source #
encodeTCM :: InteractionId -> TCM Value Source #
encodeTCM :: NameInScope -> TCM Value Source #
encodeTCM :: ProblemId -> TCM Value Source #
encodeTCM :: Status -> TCM Value Source #
encodeTCM :: GiveResult -> TCM Value Source #
encodeTCM :: DisplayInfo -> TCM Value Source #
encodeTCM :: MakeCaseVariant -> TCM Value Source #
encodeTCM :: Response -> TCM Value Source #
encodeTCM :: ComputeMode -> TCM Value Source #
encodeTCM :: Rewrite -> TCM Value Source #
encodeTCM :: CommandState -> TCM Value Source #
encodeTCM :: ResponseContextEntry -> TCM Value Source #
encodeTCM :: GoalTypeAux -> TCM Value Source #
toJSON :: Position' () -> Value
toEncoding :: Position' () -> Encoding
toJSONList :: [Position' ()] -> Value
toEncodingList :: [Position' ()] -> Encoding
encodeTCM :: Position' () -> TCM Value Source #
encodeTCM :: OutputForm Expr Expr -> TCM Value Source #