Hets - the Heterogeneous Tool Set
Copyright(c) Christian Maeder DFKI GmbH 2014
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilitynon-portable
Safe HaskellNone

Common.Json

Description

inspired by Yuriy Iskra's json2-types hackage package

Documentation

data Json Source #

Constructors

JString String 
JNumber Rational 
JBool Bool 
JNull 
JArray [Json] 
JObject [JPair] 

Instances

Instances details
Eq Json Source # 
Instance details

Defined in Common.Json

Methods

(==) :: Json -> Json -> Bool

(/=) :: Json -> Json -> Bool

Ord Json Source # 
Instance details

Defined in Common.Json

Methods

compare :: Json -> Json -> Ordering

(<) :: Json -> Json -> Bool

(<=) :: Json -> Json -> Bool

(>) :: Json -> Json -> Bool

(>=) :: Json -> Json -> Bool

max :: Json -> Json -> Json

min :: Json -> Json -> Json

Show Json Source # 
Instance details

Defined in Common.Json

Methods

showsPrec :: Int -> Json -> ShowS

show :: Json -> String

showList :: [Json] -> ShowS

ppJson :: Json -> String Source #

mkJStr :: String -> Json Source #

mkJBool :: Bool -> Json Source #

mkJNum :: Real b => b -> Json Source #

type JPair = (String, Json) Source #

mkJPair :: String -> String -> JPair Source #

mkNameJPair :: String -> JPair Source #

rangedToJson :: (GetRange a, Pretty a) => String -> GlobalAnnos -> a -> [JPair] Source #

tagJson :: String -> Json -> Json Source #

pJson :: CharParser st Json Source #

class ToJson a where Source #

Methods

asJson :: a -> Json Source #

Instances

Instances details
Data a => ToJson a Source # 
Instance details

Defined in Common.Json

Methods

asJson :: a -> Json Source #

ToJson Frm_Wrap Source # 
Instance details

Defined in TopHybrid.AS_TopHybrid

Methods

asJson :: Frm_Wrap -> Json Source #

Data a => ToJson (S2 a) Source # 
Instance details

Defined in Logic.Morphism

Methods

asJson :: S2 a -> Json Source #

ToJson f => ToJson (TH_FORMULA f) Source # 
Instance details

Defined in TopHybrid.AS_TopHybrid

Methods

asJson :: TH_FORMULA f -> Json Source #