Copyright	(c) DFKI GmbH 2012
License	GPLv2 or higher, see LICENSE.txt
Maintainer	Christian.Maeder@dfki.de
Stability	provisional
Portability	non-portable(derive Typeable instances)
Safe Haskell	None

ATC.Id

Contents

Orphan instances

Description

Automatic derivation of instances via DrIFT-rule ShATermConvertible, Json for the type(s): Pos Range Token Id

Orphan instances

Generic Id Source #
Instance details Associated Types type Rep Id :: Type -> Type Methods from :: Id -> Rep Id x to :: Rep Id x -> Id
Generic Token Source #
Instance details Associated Types type Rep Token :: Type -> Type Methods from :: Token -> Rep Token x to :: Rep Token x -> Token
Generic Range Source #
Instance details Associated Types type Rep Range :: Type -> Type Methods from :: Range -> Rep Range x to :: Rep Range x -> Range
Generic Pos Source #
Instance details Associated Types type Rep Pos :: Type -> Type Methods from :: Pos -> Rep Pos x to :: Rep Pos x -> Pos
FromJSON Id Source #
Instance details Methods parseJSON :: Value -> Parser Id parseJSONList :: Value -> Parser [Id]
FromJSON Token Source #
Instance details Methods parseJSON :: Value -> Parser Token parseJSONList :: Value -> Parser [Token]
FromJSON Range Source #
Instance details Methods parseJSON :: Value -> Parser Range parseJSONList :: Value -> Parser [Range]
FromJSON Pos Source #
Instance details Methods parseJSON :: Value -> Parser Pos parseJSONList :: Value -> Parser [Pos]
ToJSON Id Source #
Instance details Methods toJSON :: Id -> Value toEncoding :: Id -> Encoding toJSONList :: [Id] -> Value toEncodingList :: [Id] -> Encoding
ToJSON Token Source #
Instance details Methods toJSON :: Token -> Value toEncoding :: Token -> Encoding toJSONList :: [Token] -> Value toEncodingList :: [Token] -> Encoding
ToJSON Range Source #
Instance details Methods toJSON :: Range -> Value toEncoding :: Range -> Encoding toJSONList :: [Range] -> Value toEncodingList :: [Range] -> Encoding
ToJSON Pos Source #
Instance details Methods toJSON :: Pos -> Value toEncoding :: Pos -> Encoding toJSONList :: [Pos] -> Value toEncodingList :: [Pos] -> Encoding
ShATermConvertible Id Source #
Instance details Methods toShATermAux :: ATermTable -> Id -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Id] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Id) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Id])
ShATermConvertible Token Source #
Instance details Methods toShATermAux :: ATermTable -> Token -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Token] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Token) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Token])
ShATermConvertible Range Source #
Instance details Methods toShATermAux :: ATermTable -> Range -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Range] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Range) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Range])
ShATermConvertible Pos Source #
Instance details Methods toShATermAux :: ATermTable -> Pos -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Pos] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Pos) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Pos])