Agda-2.6.20240714: A dependently typed functional programming language and proof assistant
Safe HaskellNone
LanguageHaskell2010

Agda.Interaction.JSONTop

Synopsis

Documentation

jsonREPL :: TCM () -> TCM () Source #

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 Source # 
Instance details

EncodeTCM ComputeMode Source # 
Instance details

EncodeTCM CurrentFile Source # 
Instance details

EncodeTCM Rewrite Source # 
Instance details

EncodeTCM DisplayInfo Source # 
Instance details

EncodeTCM Info_Error Source # 
Instance details

EncodeTCM Response Source # 
Instance details

EncodeTCM GiveResult Source # 
Instance details

EncodeTCM GoalTypeAux Source # 
Instance details

EncodeTCM MakeCaseVariant Source # 
Instance details

EncodeTCM ResponseContextEntry Source # 
Instance details

EncodeTCM Status Source # 
Instance details

EncodeTCM InteractionId Source # 
Instance details

EncodeTCM MetaId Source # 
Instance details

EncodeTCM ProblemId Source # 
Instance details

EncodeTCM NameInScope Source # 
Instance details

EncodeTCM Blocker Source # 
Instance details

EncodeTCM Range Source # 
Instance details

EncodeTCM NamedMeta Source # 
Instance details

EncodeTCM TCErr Source # 
Instance details

EncodeTCM TCWarning Source # 
Instance details

EncodeTCM CPUTime Source # 
Instance details

ToJSON CommandState Source # 
Instance details

ToJSON ComputeMode Source # 
Instance details

ToJSON CurrentFile Source # 
Instance details

ToJSON Rewrite Source # 
Instance details

ToJSON GiveResult Source # 
Instance details

ToJSON MakeCaseVariant Source # 
Instance details

ToJSON Status Source # 
Instance details

ToJSON InteractionId Source # 
Instance details

ToJSON MetaId Source # 
Instance details

ToJSON ProblemId Source # 
Instance details

ToJSON NameInScope Source # 
Instance details

ToJSON Range Source # 
Instance details

ToJSON ModuleNameHash Source # 
Instance details

ToJSON CPUTime Source # 
Instance details

EncodeTCM (Position' ()) Source # 
Instance details

ToJSON (Position' ()) Source # 
Instance details

EncodeTCM (OutputForm Expr Expr) Source # 
Instance details