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 for the type(s): Paramkind Procparam Profile Sigentry Procdecls Ranged PlainProgram VarDecl VSEforms BoxOrDiamond ProcKind Defproc Procs

Orphan instances

ShATermConvertible Procs Source #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
Methods toShATermAux :: ATermTable -> Paramkind -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Paramkind] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Paramkind) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Paramkind])
ShATermConvertible a => ShATermConvertible (Ranged a) Source #
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])