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 |
Orphan instances
Generic IRIAuth Source # | |
Generic IRI Source # | |
FromJSON IRIAuth Source # | |
parseJSON :: Value -> Parser IRIAuth parseJSONList :: Value -> Parser [IRIAuth] | |
FromJSON IRI Source # | |
parseJSON :: Value -> Parser IRI parseJSONList :: Value -> Parser [IRI] | |
ToJSON IRIAuth Source # | |
toEncoding :: IRIAuth -> Encoding toJSONList :: [IRIAuth] -> Value toEncodingList :: [IRIAuth] -> Encoding | |
ToJSON IRI Source # | |
ShATermConvertible IRIAuth Source # | |
toShATermAux :: ATermTable -> IRIAuth -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [IRIAuth] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, IRIAuth) fromShATermList' :: Int -> ATermTable -> (ATermTable, [IRIAuth]) | |
ShATermConvertible IRI Source # | |
toShATermAux :: ATermTable -> IRI -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [IRI] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, IRI) fromShATermList' :: Int -> ATermTable -> (ATermTable, [IRI]) |