| 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.DefaultMorphism
Contents
Description
Automatic derivation of instances via DrIFT-rule ShATermConvertible, Json
for the type(s):
DefaultMorphism
Orphan instances
| Generic (DefaultMorphism sign) Source # | |
Associated Types type Rep (DefaultMorphism sign) :: Type -> Type Methods from :: DefaultMorphism sign -> Rep (DefaultMorphism sign) x to :: Rep (DefaultMorphism sign) x -> DefaultMorphism sign | |
| FromJSON sign => FromJSON (DefaultMorphism sign) Source # | |
Methods parseJSON :: Value -> Parser (DefaultMorphism sign) parseJSONList :: Value -> Parser [DefaultMorphism sign] | |
| ToJSON sign => ToJSON (DefaultMorphism sign) Source # | |
Methods toJSON :: DefaultMorphism sign -> Value toEncoding :: DefaultMorphism sign -> Encoding toJSONList :: [DefaultMorphism sign] -> Value toEncodingList :: [DefaultMorphism sign] -> Encoding | |
| ShATermConvertible sign => ShATermConvertible (DefaultMorphism sign) Source # | |
Methods toShATermAux :: ATermTable -> DefaultMorphism sign -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [DefaultMorphism sign] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, DefaultMorphism sign) fromShATermList' :: Int -> ATermTable -> (ATermTable, [DefaultMorphism sign]) | |