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

Fpl.ATC_Fpl

Description

Automatic derivation of instances via DrIFT-rule ShATermConvertible, Json for the type(s): FplExt FplSortItem FplOpItem FunDef TermExt SignExt

Orphan instances

Generic TermExt Source # 
Instance details

Associated Types

type Rep TermExt :: Type -> Type

Methods

from :: TermExt -> Rep TermExt x

to :: Rep TermExt x -> TermExt

Generic FunDef Source # 
Instance details

Associated Types

type Rep FunDef :: Type -> Type

Methods

from :: FunDef -> Rep FunDef x

to :: Rep FunDef x -> FunDef

Generic FplOpItem Source # 
Instance details

Associated Types

type Rep FplOpItem :: Type -> Type

Methods

from :: FplOpItem -> Rep FplOpItem x

to :: Rep FplOpItem x -> FplOpItem

Generic FplSortItem Source # 
Instance details

Associated Types

type Rep FplSortItem :: Type -> Type

Methods

from :: FplSortItem -> Rep FplSortItem x

to :: Rep FplSortItem x -> FplSortItem

Generic FplExt Source # 
Instance details

Associated Types

type Rep FplExt :: Type -> Type

Methods

from :: FplExt -> Rep FplExt x

to :: Rep FplExt x -> FplExt

Generic SignExt Source # 
Instance details

Associated Types

type Rep SignExt :: Type -> Type

Methods

from :: SignExt -> Rep SignExt x

to :: Rep SignExt x -> SignExt

FromJSON TermExt Source # 
Instance details

Methods

parseJSON :: Value -> Parser TermExt

parseJSONList :: Value -> Parser [TermExt]

FromJSON FunDef Source # 
Instance details

Methods

parseJSON :: Value -> Parser FunDef

parseJSONList :: Value -> Parser [FunDef]

FromJSON FplOpItem Source # 
Instance details

Methods

parseJSON :: Value -> Parser FplOpItem

parseJSONList :: Value -> Parser [FplOpItem]

FromJSON FplSortItem Source # 
Instance details

Methods

parseJSON :: Value -> Parser FplSortItem

parseJSONList :: Value -> Parser [FplSortItem]

FromJSON FplExt Source # 
Instance details

Methods

parseJSON :: Value -> Parser FplExt

parseJSONList :: Value -> Parser [FplExt]

FromJSON SignExt Source # 
Instance details

Methods

parseJSON :: Value -> Parser SignExt

parseJSONList :: Value -> Parser [SignExt]

ToJSON TermExt Source # 
Instance details

Methods

toJSON :: TermExt -> Value

toEncoding :: TermExt -> Encoding

toJSONList :: [TermExt] -> Value

toEncodingList :: [TermExt] -> Encoding

ToJSON FunDef Source # 
Instance details

Methods

toJSON :: FunDef -> Value

toEncoding :: FunDef -> Encoding

toJSONList :: [FunDef] -> Value

toEncodingList :: [FunDef] -> Encoding

ToJSON FplOpItem Source # 
Instance details

Methods

toJSON :: FplOpItem -> Value

toEncoding :: FplOpItem -> Encoding

toJSONList :: [FplOpItem] -> Value

toEncodingList :: [FplOpItem] -> Encoding

ToJSON FplSortItem Source # 
Instance details

Methods

toJSON :: FplSortItem -> Value

toEncoding :: FplSortItem -> Encoding

toJSONList :: [FplSortItem] -> Value

toEncodingList :: [FplSortItem] -> Encoding

ToJSON FplExt Source # 
Instance details

Methods

toJSON :: FplExt -> Value

toEncoding :: FplExt -> Encoding

toJSONList :: [FplExt] -> Value

toEncodingList :: [FplExt] -> Encoding

ToJSON SignExt Source # 
Instance details

Methods

toJSON :: SignExt -> Value

toEncoding :: SignExt -> Encoding

toJSONList :: [SignExt] -> Value

toEncodingList :: [SignExt] -> Encoding

ShATermConvertible TermExt Source # 
Instance details

Methods

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

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

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

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

ShATermConvertible FunDef Source # 
Instance details

Methods

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

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

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

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

ShATermConvertible FplOpItem Source # 
Instance details

Methods

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

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

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

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

ShATermConvertible FplSortItem Source # 
Instance details

Methods

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

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

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

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

ShATermConvertible FplExt Source # 
Instance details

Methods

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

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

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

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

ShATermConvertible SignExt Source # 
Instance details

Methods

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

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

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

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