{-# LANGUAGE CPP, TypeFamilies, DeriveDataTypeable #-} module PGIP.GraphQL.Result.Mapping where import PGIP.GraphQL.Result.ConservativityStatus import PGIP.GraphQL.Result.IdReference import PGIP.GraphQL.Result.Language import PGIP.GraphQL.Result.LocIdReference import Data.Data data Mapping = Mapping { Mapping -> Maybe ConservativityStatus conservativityStatus :: Maybe ConservativityStatus , Mapping -> String displayName :: String , Mapping -> Maybe LocIdReference freenessParameterOMS :: Maybe LocIdReference , Mapping -> Maybe Language freenessParameterLanguage :: Maybe Language , Mapping -> String locId :: String , Mapping -> String name :: String , Mapping -> String origin :: String , Mapping -> Bool pending :: Bool , Mapping -> IdReference signatureMorphism :: IdReference , Mapping -> LocIdReference source :: LocIdReference , Mapping -> LocIdReference target :: LocIdReference , Mapping -> String mappingType :: String } deriving (Int -> Mapping -> ShowS [Mapping] -> ShowS Mapping -> String (Int -> Mapping -> ShowS) -> (Mapping -> String) -> ([Mapping] -> ShowS) -> Show Mapping forall a. (Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a showList :: [Mapping] -> ShowS $cshowList :: [Mapping] -> ShowS show :: Mapping -> String $cshow :: Mapping -> String showsPrec :: Int -> Mapping -> ShowS $cshowsPrec :: Int -> Mapping -> ShowS Show, Typeable, Typeable Mapping Constr DataType Typeable Mapping => (forall (c :: * -> *). (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Mapping -> c Mapping) -> (forall (c :: * -> *). (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Mapping) -> (Mapping -> Constr) -> (Mapping -> DataType) -> (forall (t :: * -> *) (c :: * -> *). Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Mapping)) -> (forall (t :: * -> * -> *) (c :: * -> *). Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Mapping)) -> ((forall b. Data b => b -> b) -> Mapping -> Mapping) -> (forall r r'. (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Mapping -> r) -> (forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Mapping -> r) -> (forall u. (forall d. Data d => d -> u) -> Mapping -> [u]) -> (forall u. Int -> (forall d. Data d => d -> u) -> Mapping -> u) -> (forall (m :: * -> *). Monad m => (forall d. Data d => d -> m d) -> Mapping -> m Mapping) -> (forall (m :: * -> *). MonadPlus m => (forall d. Data d => d -> m d) -> Mapping -> m Mapping) -> (forall (m :: * -> *). MonadPlus m => (forall d. Data d => d -> m d) -> Mapping -> m Mapping) -> Data Mapping Mapping -> Constr Mapping -> DataType (forall b. Data b => b -> b) -> Mapping -> Mapping (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Mapping -> c Mapping (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Mapping forall a. Typeable a => (forall (c :: * -> *). (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> a -> c a) -> (forall (c :: * -> *). (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c a) -> (a -> Constr) -> (a -> DataType) -> (forall (t :: * -> *) (c :: * -> *). Typeable t => (forall d. Data d => c (t d)) -> Maybe (c a)) -> (forall (t :: * -> * -> *) (c :: * -> *). Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c a)) -> ((forall b. Data b => b -> b) -> a -> a) -> (forall r r'. (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> a -> r) -> (forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> a -> r) -> (forall u. (forall d. Data d => d -> u) -> a -> [u]) -> (forall u. Int -> (forall d. Data d => d -> u) -> a -> u) -> (forall (m :: * -> *). Monad m => (forall d. Data d => d -> m d) -> a -> m a) -> (forall (m :: * -> *). MonadPlus m => (forall d. Data d => d -> m d) -> a -> m a) -> (forall (m :: * -> *). MonadPlus m => (forall d. Data d => d -> m d) -> a -> m a) -> Data a forall u. Int -> (forall d. Data d => d -> u) -> Mapping -> u forall u. (forall d. Data d => d -> u) -> Mapping -> [u] forall r r'. (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Mapping -> r forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Mapping -> r forall (m :: * -> *). Monad m => (forall d. Data d => d -> m d) -> Mapping -> m Mapping forall (m :: * -> *). MonadPlus m => (forall d. Data d => d -> m d) -> Mapping -> m Mapping forall (c :: * -> *). (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Mapping forall (c :: * -> *). (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Mapping -> c Mapping forall (t :: * -> *) (c :: * -> *). Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Mapping) forall (t :: * -> * -> *) (c :: * -> *). Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Mapping) $cMapping :: Constr $tMapping :: DataType gmapMo :: (forall d. Data d => d -> m d) -> Mapping -> m Mapping $cgmapMo :: forall (m :: * -> *). MonadPlus m => (forall d. Data d => d -> m d) -> Mapping -> m Mapping gmapMp :: (forall d. Data d => d -> m d) -> Mapping -> m Mapping $cgmapMp :: forall (m :: * -> *). MonadPlus m => (forall d. Data d => d -> m d) -> Mapping -> m Mapping gmapM :: (forall d. Data d => d -> m d) -> Mapping -> m Mapping $cgmapM :: forall (m :: * -> *). Monad m => (forall d. Data d => d -> m d) -> Mapping -> m Mapping gmapQi :: Int -> (forall d. Data d => d -> u) -> Mapping -> u $cgmapQi :: forall u. Int -> (forall d. Data d => d -> u) -> Mapping -> u gmapQ :: (forall d. Data d => d -> u) -> Mapping -> [u] $cgmapQ :: forall u. (forall d. Data d => d -> u) -> Mapping -> [u] gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Mapping -> r $cgmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Mapping -> r gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Mapping -> r $cgmapQl :: forall r r'. (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Mapping -> r gmapT :: (forall b. Data b => b -> b) -> Mapping -> Mapping $cgmapT :: (forall b. Data b => b -> b) -> Mapping -> Mapping dataCast2 :: (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Mapping) $cdataCast2 :: forall (t :: * -> * -> *) (c :: * -> *). Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Mapping) dataCast1 :: (forall d. Data d => c (t d)) -> Maybe (c Mapping) $cdataCast1 :: forall (t :: * -> *) (c :: * -> *). Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Mapping) dataTypeOf :: Mapping -> DataType $cdataTypeOf :: Mapping -> DataType toConstr :: Mapping -> Constr $ctoConstr :: Mapping -> Constr gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Mapping $cgunfold :: forall (c :: * -> *). (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Mapping gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Mapping -> c Mapping $cgfoldl :: forall (c :: * -> *). (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Mapping -> c Mapping $cp1Data :: Typeable Mapping Data)