Safe Haskell | None |
---|---|
Language | Haskell2010 |
Agda.Interaction.JSONTop
Contents
Documentation
Orphan instances
ToJSON InteractionId Source # | |
Methods toJSON :: InteractionId -> Value Source # toEncoding :: InteractionId -> Encoding Source # toJSONList :: [InteractionId] -> Value Source # toEncodingList :: [InteractionId] -> Encoding Source # | |
ToJSON GiveResult Source # | |
Methods toJSON :: GiveResult -> Value Source # toEncoding :: GiveResult -> Encoding Source # toJSONList :: [GiveResult] -> Value Source # toEncodingList :: [GiveResult] -> Encoding Source # | |
ToJSON Status Source # | |
ToJSON DisplayInfo Source # | |
Methods toJSON :: DisplayInfo -> Value Source # toEncoding :: DisplayInfo -> Encoding Source # toJSONList :: [DisplayInfo] -> Value Source # toEncodingList :: [DisplayInfo] -> Encoding Source # | |
ToJSON MakeCaseVariant Source # | |
Methods toJSON :: MakeCaseVariant -> Value Source # toEncoding :: MakeCaseVariant -> Encoding Source # toJSONList :: [MakeCaseVariant] -> Value Source # toEncodingList :: [MakeCaseVariant] -> Encoding Source # |