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

VSE.ATC_VSE

Contents

Orphan instances

Description

Automatic derivation of instances via DrIFT-rule ShATermConvertible, Json for the type(s): Paramkind Procparam Profile Sigentry Procdecls Ranged PlainProgram VarDecl VSEforms BoxOrDiamond ProcKind Defproc Procs

Orphan instances

Generic Procs Source #
Instance details Associated Types type Rep Procs :: Type -> Type Methods from :: Procs -> Rep Procs x to :: Rep Procs x -> Procs
Generic Defproc Source #
Instance details Associated Types type Rep Defproc :: Type -> Type Methods from :: Defproc -> Rep Defproc x to :: Rep Defproc x -> Defproc
Generic ProcKind Source #
Instance details Associated Types type Rep ProcKind :: Type -> Type Methods from :: ProcKind -> Rep ProcKind x to :: Rep ProcKind x -> ProcKind
Generic BoxOrDiamond Source #
Instance details Associated Types type Rep BoxOrDiamond :: Type -> Type Methods from :: BoxOrDiamond -> Rep BoxOrDiamond x to :: Rep BoxOrDiamond x -> BoxOrDiamond
Generic VSEforms Source #
Instance details Associated Types type Rep VSEforms :: Type -> Type Methods from :: VSEforms -> Rep VSEforms x to :: Rep VSEforms x -> VSEforms
Generic VarDecl Source #
Instance details Associated Types type Rep VarDecl :: Type -> Type Methods from :: VarDecl -> Rep VarDecl x to :: Rep VarDecl x -> VarDecl
Generic PlainProgram Source #
Instance details Associated Types type Rep PlainProgram :: Type -> Type Methods from :: PlainProgram -> Rep PlainProgram x to :: Rep PlainProgram x -> PlainProgram
Generic Procdecls Source #
Instance details Associated Types type Rep Procdecls :: Type -> Type Methods from :: Procdecls -> Rep Procdecls x to :: Rep Procdecls x -> Procdecls
Generic Sigentry Source #
Instance details Associated Types type Rep Sigentry :: Type -> Type Methods from :: Sigentry -> Rep Sigentry x to :: Rep Sigentry x -> Sigentry
Generic Profile Source #
Instance details Associated Types type Rep Profile :: Type -> Type Methods from :: Profile -> Rep Profile x to :: Rep Profile x -> Profile
Generic Procparam Source #
Instance details Associated Types type Rep Procparam :: Type -> Type Methods from :: Procparam -> Rep Procparam x to :: Rep Procparam x -> Procparam
Generic Paramkind Source #
Instance details Associated Types type Rep Paramkind :: Type -> Type Methods from :: Paramkind -> Rep Paramkind x to :: Rep Paramkind x -> Paramkind
FromJSON Procs Source #
Instance details Methods parseJSON :: Value -> Parser Procs parseJSONList :: Value -> Parser [Procs]
FromJSON Defproc Source #
Instance details Methods parseJSON :: Value -> Parser Defproc parseJSONList :: Value -> Parser [Defproc]
FromJSON ProcKind Source #
Instance details Methods parseJSON :: Value -> Parser ProcKind parseJSONList :: Value -> Parser [ProcKind]
FromJSON BoxOrDiamond Source #
Instance details Methods parseJSON :: Value -> Parser BoxOrDiamond parseJSONList :: Value -> Parser [BoxOrDiamond]
FromJSON VSEforms Source #
Instance details Methods parseJSON :: Value -> Parser VSEforms parseJSONList :: Value -> Parser [VSEforms]
FromJSON VarDecl Source #
Instance details Methods parseJSON :: Value -> Parser VarDecl parseJSONList :: Value -> Parser [VarDecl]
FromJSON PlainProgram Source #
Instance details Methods parseJSON :: Value -> Parser PlainProgram parseJSONList :: Value -> Parser [PlainProgram]
FromJSON Procdecls Source #
Instance details Methods parseJSON :: Value -> Parser Procdecls parseJSONList :: Value -> Parser [Procdecls]
FromJSON Sigentry Source #
Instance details Methods parseJSON :: Value -> Parser Sigentry parseJSONList :: Value -> Parser [Sigentry]
FromJSON Profile Source #
Instance details Methods parseJSON :: Value -> Parser Profile parseJSONList :: Value -> Parser [Profile]
FromJSON Procparam Source #
Instance details Methods parseJSON :: Value -> Parser Procparam parseJSONList :: Value -> Parser [Procparam]
FromJSON Paramkind Source #
Instance details Methods parseJSON :: Value -> Parser Paramkind parseJSONList :: Value -> Parser [Paramkind]
ToJSON Procs Source #
Instance details Methods toJSON :: Procs -> Value toEncoding :: Procs -> Encoding toJSONList :: [Procs] -> Value toEncodingList :: [Procs] -> Encoding
ToJSON Defproc Source #
Instance details Methods toJSON :: Defproc -> Value toEncoding :: Defproc -> Encoding toJSONList :: [Defproc] -> Value toEncodingList :: [Defproc] -> Encoding
ToJSON ProcKind Source #
Instance details Methods toJSON :: ProcKind -> Value toEncoding :: ProcKind -> Encoding toJSONList :: [ProcKind] -> Value toEncodingList :: [ProcKind] -> Encoding
ToJSON BoxOrDiamond Source #
Instance details Methods toJSON :: BoxOrDiamond -> Value toEncoding :: BoxOrDiamond -> Encoding toJSONList :: [BoxOrDiamond] -> Value toEncodingList :: [BoxOrDiamond] -> Encoding
ToJSON VSEforms Source #
Instance details Methods toJSON :: VSEforms -> Value toEncoding :: VSEforms -> Encoding toJSONList :: [VSEforms] -> Value toEncodingList :: [VSEforms] -> Encoding
ToJSON VarDecl Source #
Instance details Methods toJSON :: VarDecl -> Value toEncoding :: VarDecl -> Encoding toJSONList :: [VarDecl] -> Value toEncodingList :: [VarDecl] -> Encoding
ToJSON PlainProgram Source #
Instance details Methods toJSON :: PlainProgram -> Value toEncoding :: PlainProgram -> Encoding toJSONList :: [PlainProgram] -> Value toEncodingList :: [PlainProgram] -> Encoding
ToJSON Procdecls Source #
Instance details Methods toJSON :: Procdecls -> Value toEncoding :: Procdecls -> Encoding toJSONList :: [Procdecls] -> Value toEncodingList :: [Procdecls] -> Encoding
ToJSON Sigentry Source #
Instance details Methods toJSON :: Sigentry -> Value toEncoding :: Sigentry -> Encoding toJSONList :: [Sigentry] -> Value toEncodingList :: [Sigentry] -> Encoding
ToJSON Profile Source #
Instance details Methods toJSON :: Profile -> Value toEncoding :: Profile -> Encoding toJSONList :: [Profile] -> Value toEncodingList :: [Profile] -> Encoding
ToJSON Procparam Source #
Instance details Methods toJSON :: Procparam -> Value toEncoding :: Procparam -> Encoding toJSONList :: [Procparam] -> Value toEncodingList :: [Procparam] -> Encoding
ToJSON Paramkind Source #
Instance details Methods toJSON :: Paramkind -> Value toEncoding :: Paramkind -> Encoding toJSONList :: [Paramkind] -> Value toEncodingList :: [Paramkind] -> Encoding
ShATermConvertible Procs Source #
Instance details Methods toShATermAux :: ATermTable -> Procs -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Procs] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Procs) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Procs])
ShATermConvertible Defproc Source #
Instance details Methods toShATermAux :: ATermTable -> Defproc -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Defproc] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Defproc) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Defproc])
ShATermConvertible ProcKind Source #
Instance details Methods toShATermAux :: ATermTable -> ProcKind -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [ProcKind] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, ProcKind) fromShATermList' :: Int -> ATermTable -> (ATermTable, [ProcKind])
ShATermConvertible BoxOrDiamond Source #
Instance details Methods toShATermAux :: ATermTable -> BoxOrDiamond -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [BoxOrDiamond] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, BoxOrDiamond) fromShATermList' :: Int -> ATermTable -> (ATermTable, [BoxOrDiamond])
ShATermConvertible VSEforms Source #
Instance details Methods toShATermAux :: ATermTable -> VSEforms -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [VSEforms] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, VSEforms) fromShATermList' :: Int -> ATermTable -> (ATermTable, [VSEforms])
ShATermConvertible VarDecl Source #
Instance details Methods toShATermAux :: ATermTable -> VarDecl -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [VarDecl] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, VarDecl) fromShATermList' :: Int -> ATermTable -> (ATermTable, [VarDecl])
ShATermConvertible PlainProgram Source #
Instance details Methods toShATermAux :: ATermTable -> PlainProgram -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [PlainProgram] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, PlainProgram) fromShATermList' :: Int -> ATermTable -> (ATermTable, [PlainProgram])
ShATermConvertible Procdecls Source #
Instance details Methods toShATermAux :: ATermTable -> Procdecls -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Procdecls] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Procdecls) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Procdecls])
ShATermConvertible Sigentry Source #
Instance details Methods toShATermAux :: ATermTable -> Sigentry -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Sigentry] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Sigentry) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Sigentry])
ShATermConvertible Profile Source #
Instance details Methods toShATermAux :: ATermTable -> Profile -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Profile] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Profile) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Profile])
ShATermConvertible Procparam Source #
Instance details Methods toShATermAux :: ATermTable -> Procparam -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Procparam] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Procparam) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Procparam])
ShATermConvertible Paramkind Source #
Instance details Methods toShATermAux :: ATermTable -> Paramkind -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Paramkind] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Paramkind) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Paramkind])
Generic (Ranged a) Source #
Instance details Associated Types type Rep (Ranged a) :: Type -> Type Methods from :: Ranged a -> Rep (Ranged a) x to :: Rep (Ranged a) x -> Ranged a
FromJSON a => FromJSON (Ranged a) Source #
Instance details Methods parseJSON :: Value -> Parser (Ranged a) parseJSONList :: Value -> Parser [Ranged a]
ToJSON a => ToJSON (Ranged a) Source #
Instance details Methods toJSON :: Ranged a -> Value toEncoding :: Ranged a -> Encoding toJSONList :: [Ranged a] -> Value toEncodingList :: [Ranged a] -> Encoding
ShATermConvertible a => ShATermConvertible (Ranged a) Source #
Instance details Methods toShATermAux :: ATermTable -> Ranged a -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Ranged a] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Ranged a) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Ranged a])