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

ATC.IRI

Description

Automatic derivation of instances via DrIFT-rule ShATermConvertible, Json for the type(s): IRI IRIAuth

Orphan instances

Generic IRIAuth Source # 
Instance details

Associated Types

type Rep IRIAuth :: Type -> Type

Methods

from :: IRIAuth -> Rep IRIAuth x

to :: Rep IRIAuth x -> IRIAuth

Generic IRI Source # 
Instance details

Associated Types

type Rep IRI :: Type -> Type

Methods

from :: IRI -> Rep IRI x

to :: Rep IRI x -> IRI

FromJSON IRIAuth Source # 
Instance details

Methods

parseJSON :: Value -> Parser IRIAuth

parseJSONList :: Value -> Parser [IRIAuth]

FromJSON IRI Source # 
Instance details

Methods

parseJSON :: Value -> Parser IRI

parseJSONList :: Value -> Parser [IRI]

ToJSON IRIAuth Source # 
Instance details

Methods

toJSON :: IRIAuth -> Value

toEncoding :: IRIAuth -> Encoding

toJSONList :: [IRIAuth] -> Value

toEncodingList :: [IRIAuth] -> Encoding

ToJSON IRI Source # 
Instance details

Methods

toJSON :: IRI -> Value

toEncoding :: IRI -> Encoding

toJSONList :: [IRI] -> Value

toEncodingList :: [IRI] -> Encoding

ShATermConvertible IRIAuth Source # 
Instance details

Methods

toShATermAux :: ATermTable -> IRIAuth -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [IRIAuth] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, IRIAuth)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [IRIAuth])

ShATermConvertible IRI Source # 
Instance details

Methods

toShATermAux :: ATermTable -> IRI -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [IRI] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, IRI)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [IRI])