{-# LANGUAGE CPP, TypeFamilies, DeriveDataTypeable #-} module PGIP.GraphQL.Result.LogicMapping where import PGIP.GraphQL.Result.StringReference import PGIP.GraphQL.Result.LanguageMapping import Data.Data data LogicMapping = LogicMapping { LogicMapping -> String id :: String , LogicMapping -> LanguageMapping languageMapping :: LanguageMapping , LogicMapping -> StringReference source :: StringReference , LogicMapping -> StringReference target :: StringReference } deriving (Int -> LogicMapping -> ShowS [LogicMapping] -> ShowS LogicMapping -> String (Int -> LogicMapping -> ShowS) -> (LogicMapping -> String) -> ([LogicMapping] -> ShowS) -> Show LogicMapping forall a. (Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a showList :: [LogicMapping] -> ShowS $cshowList :: [LogicMapping] -> ShowS show :: LogicMapping -> String $cshow :: LogicMapping -> String showsPrec :: Int -> LogicMapping -> ShowS $cshowsPrec :: Int -> LogicMapping -> ShowS Show, Typeable, Typeable LogicMapping Constr DataType Typeable LogicMapping => (forall (c :: * -> *). (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LogicMapping -> c LogicMapping) -> (forall (c :: * -> *). (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LogicMapping) -> (LogicMapping -> Constr) -> (LogicMapping -> DataType) -> (forall (t :: * -> *) (c :: * -> *). Typeable t => (forall d. Data d => c (t d)) -> Maybe (c LogicMapping)) -> (forall (t :: * -> * -> *) (c :: * -> *). Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LogicMapping)) -> ((forall b. Data b => b -> b) -> LogicMapping -> LogicMapping) -> (forall r r'. (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LogicMapping -> r) -> (forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LogicMapping -> r) -> (forall u. (forall d. Data d => d -> u) -> LogicMapping -> [u]) -> (forall u. Int -> (forall d. Data d => d -> u) -> LogicMapping -> u) -> (forall (m :: * -> *). Monad m => (forall d. Data d => d -> m d) -> LogicMapping -> m LogicMapping) -> (forall (m :: * -> *). MonadPlus m => (forall d. Data d => d -> m d) -> LogicMapping -> m LogicMapping) -> (forall (m :: * -> *). MonadPlus m => (forall d. Data d => d -> m d) -> LogicMapping -> m LogicMapping) -> Data LogicMapping LogicMapping -> Constr LogicMapping -> DataType (forall b. Data b => b -> b) -> LogicMapping -> LogicMapping (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LogicMapping -> c LogicMapping (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LogicMapping 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) -> LogicMapping -> u forall u. (forall d. Data d => d -> u) -> LogicMapping -> [u] forall r r'. (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LogicMapping -> r forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LogicMapping -> r forall (m :: * -> *). Monad m => (forall d. Data d => d -> m d) -> LogicMapping -> m LogicMapping forall (m :: * -> *). MonadPlus m => (forall d. Data d => d -> m d) -> LogicMapping -> m LogicMapping forall (c :: * -> *). (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LogicMapping forall (c :: * -> *). (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LogicMapping -> c LogicMapping forall (t :: * -> *) (c :: * -> *). Typeable t => (forall d. Data d => c (t d)) -> Maybe (c LogicMapping) forall (t :: * -> * -> *) (c :: * -> *). Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LogicMapping) $cLogicMapping :: Constr $tLogicMapping :: DataType gmapMo :: (forall d. Data d => d -> m d) -> LogicMapping -> m LogicMapping $cgmapMo :: forall (m :: * -> *). MonadPlus m => (forall d. Data d => d -> m d) -> LogicMapping -> m LogicMapping gmapMp :: (forall d. Data d => d -> m d) -> LogicMapping -> m LogicMapping $cgmapMp :: forall (m :: * -> *). MonadPlus m => (forall d. Data d => d -> m d) -> LogicMapping -> m LogicMapping gmapM :: (forall d. Data d => d -> m d) -> LogicMapping -> m LogicMapping $cgmapM :: forall (m :: * -> *). Monad m => (forall d. Data d => d -> m d) -> LogicMapping -> m LogicMapping gmapQi :: Int -> (forall d. Data d => d -> u) -> LogicMapping -> u $cgmapQi :: forall u. Int -> (forall d. Data d => d -> u) -> LogicMapping -> u gmapQ :: (forall d. Data d => d -> u) -> LogicMapping -> [u] $cgmapQ :: forall u. (forall d. Data d => d -> u) -> LogicMapping -> [u] gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LogicMapping -> r $cgmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LogicMapping -> r gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LogicMapping -> r $cgmapQl :: forall r r'. (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LogicMapping -> r gmapT :: (forall b. Data b => b -> b) -> LogicMapping -> LogicMapping $cgmapT :: (forall b. Data b => b -> b) -> LogicMapping -> LogicMapping dataCast2 :: (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LogicMapping) $cdataCast2 :: forall (t :: * -> * -> *) (c :: * -> *). Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LogicMapping) dataCast1 :: (forall d. Data d => c (t d)) -> Maybe (c LogicMapping) $cdataCast1 :: forall (t :: * -> *) (c :: * -> *). Typeable t => (forall d. Data d => c (t d)) -> Maybe (c LogicMapping) dataTypeOf :: LogicMapping -> DataType $cdataTypeOf :: LogicMapping -> DataType toConstr :: LogicMapping -> Constr $ctoConstr :: LogicMapping -> Constr gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LogicMapping $cgunfold :: forall (c :: * -> *). (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LogicMapping gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LogicMapping -> c LogicMapping $cgfoldl :: forall (c :: * -> *). (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LogicMapping -> c LogicMapping $cp1Data :: Typeable LogicMapping Data)