{-# LANGUAGE DeriveDataTypeable #-} module Burrito.Internal.Type.Modifier (Modifier(..)) where import qualified Burrito.Internal.Type.MaxLength as MaxLength import qualified Data.Data as Data data Modifier = Asterisk | Colon MaxLength.MaxLength | None deriving (Typeable Modifier DataType Constr Typeable Modifier -> (forall (c :: * -> *). (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Modifier -> c Modifier) -> (forall (c :: * -> *). (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Modifier) -> (Modifier -> Constr) -> (Modifier -> DataType) -> (forall (t :: * -> *) (c :: * -> *). Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Modifier)) -> (forall (t :: * -> * -> *) (c :: * -> *). Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Modifier)) -> ((forall b. Data b => b -> b) -> Modifier -> Modifier) -> (forall r r'. (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Modifier -> r) -> (forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Modifier -> r) -> (forall u. (forall d. Data d => d -> u) -> Modifier -> [u]) -> (forall u. Int -> (forall d. Data d => d -> u) -> Modifier -> u) -> (forall (m :: * -> *). Monad m => (forall d. Data d => d -> m d) -> Modifier -> m Modifier) -> (forall (m :: * -> *). MonadPlus m => (forall d. Data d => d -> m d) -> Modifier -> m Modifier) -> (forall (m :: * -> *). MonadPlus m => (forall d. Data d => d -> m d) -> Modifier -> m Modifier) -> Data Modifier Modifier -> DataType Modifier -> Constr (forall b. Data b => b -> b) -> Modifier -> Modifier (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Modifier -> c Modifier (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Modifier 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) -> Modifier -> u forall u. (forall d. Data d => d -> u) -> Modifier -> [u] forall r r'. (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Modifier -> r forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Modifier -> r forall (m :: * -> *). Monad m => (forall d. Data d => d -> m d) -> Modifier -> m Modifier forall (m :: * -> *). MonadPlus m => (forall d. Data d => d -> m d) -> Modifier -> m Modifier forall (c :: * -> *). (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Modifier forall (c :: * -> *). (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Modifier -> c Modifier forall (t :: * -> *) (c :: * -> *). Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Modifier) forall (t :: * -> * -> *) (c :: * -> *). Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Modifier) $cNone :: Constr $cColon :: Constr $cAsterisk :: Constr $tModifier :: DataType gmapMo :: (forall d. Data d => d -> m d) -> Modifier -> m Modifier $cgmapMo :: forall (m :: * -> *). MonadPlus m => (forall d. Data d => d -> m d) -> Modifier -> m Modifier gmapMp :: (forall d. Data d => d -> m d) -> Modifier -> m Modifier $cgmapMp :: forall (m :: * -> *). MonadPlus m => (forall d. Data d => d -> m d) -> Modifier -> m Modifier gmapM :: (forall d. Data d => d -> m d) -> Modifier -> m Modifier $cgmapM :: forall (m :: * -> *). Monad m => (forall d. Data d => d -> m d) -> Modifier -> m Modifier gmapQi :: Int -> (forall d. Data d => d -> u) -> Modifier -> u $cgmapQi :: forall u. Int -> (forall d. Data d => d -> u) -> Modifier -> u gmapQ :: (forall d. Data d => d -> u) -> Modifier -> [u] $cgmapQ :: forall u. (forall d. Data d => d -> u) -> Modifier -> [u] gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Modifier -> r $cgmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Modifier -> r gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Modifier -> r $cgmapQl :: forall r r'. (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Modifier -> r gmapT :: (forall b. Data b => b -> b) -> Modifier -> Modifier $cgmapT :: (forall b. Data b => b -> b) -> Modifier -> Modifier dataCast2 :: (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Modifier) $cdataCast2 :: forall (t :: * -> * -> *) (c :: * -> *). Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Modifier) dataCast1 :: (forall d. Data d => c (t d)) -> Maybe (c Modifier) $cdataCast1 :: forall (t :: * -> *) (c :: * -> *). Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Modifier) dataTypeOf :: Modifier -> DataType $cdataTypeOf :: Modifier -> DataType toConstr :: Modifier -> Constr $ctoConstr :: Modifier -> Constr gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Modifier $cgunfold :: forall (c :: * -> *). (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Modifier gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Modifier -> c Modifier $cgfoldl :: forall (c :: * -> *). (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Modifier -> c Modifier $cp1Data :: Typeable Modifier Data.Data, Modifier -> Modifier -> Bool (Modifier -> Modifier -> Bool) -> (Modifier -> Modifier -> Bool) -> Eq Modifier forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a /= :: Modifier -> Modifier -> Bool $c/= :: Modifier -> Modifier -> Bool == :: Modifier -> Modifier -> Bool $c== :: Modifier -> Modifier -> Bool Eq, Eq Modifier Eq Modifier -> (Modifier -> Modifier -> Ordering) -> (Modifier -> Modifier -> Bool) -> (Modifier -> Modifier -> Bool) -> (Modifier -> Modifier -> Bool) -> (Modifier -> Modifier -> Bool) -> (Modifier -> Modifier -> Modifier) -> (Modifier -> Modifier -> Modifier) -> Ord Modifier Modifier -> Modifier -> Bool Modifier -> Modifier -> Ordering Modifier -> Modifier -> Modifier forall a. Eq a -> (a -> a -> Ordering) -> (a -> a -> Bool) -> (a -> a -> Bool) -> (a -> a -> Bool) -> (a -> a -> Bool) -> (a -> a -> a) -> (a -> a -> a) -> Ord a min :: Modifier -> Modifier -> Modifier $cmin :: Modifier -> Modifier -> Modifier max :: Modifier -> Modifier -> Modifier $cmax :: Modifier -> Modifier -> Modifier >= :: Modifier -> Modifier -> Bool $c>= :: Modifier -> Modifier -> Bool > :: Modifier -> Modifier -> Bool $c> :: Modifier -> Modifier -> Bool <= :: Modifier -> Modifier -> Bool $c<= :: Modifier -> Modifier -> Bool < :: Modifier -> Modifier -> Bool $c< :: Modifier -> Modifier -> Bool compare :: Modifier -> Modifier -> Ordering $ccompare :: Modifier -> Modifier -> Ordering $cp1Ord :: Eq Modifier Ord, Int -> Modifier -> ShowS [Modifier] -> ShowS Modifier -> String (Int -> Modifier -> ShowS) -> (Modifier -> String) -> ([Modifier] -> ShowS) -> Show Modifier forall a. (Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a showList :: [Modifier] -> ShowS $cshowList :: [Modifier] -> ShowS show :: Modifier -> String $cshow :: Modifier -> String showsPrec :: Int -> Modifier -> ShowS $cshowsPrec :: Int -> Modifier -> ShowS Show)