Safe Haskell	None
Language	Haskell2010

Database.Sql.Type.TableProps

Documentation

data Persistence a Source #

Constructors

Temporary a
Persistent

Instances

Functor Persistence Source #
Methods fmap :: (a -> b) -> Persistence a -> Persistence b # (<$) :: a -> Persistence b -> Persistence a #
Foldable Persistence Source #
Methods fold :: Monoid m => Persistence m -> m # foldMap :: Monoid m => (a -> m) -> Persistence a -> m # foldr :: (a -> b -> b) -> b -> Persistence a -> b # foldr' :: (a -> b -> b) -> b -> Persistence a -> b # foldl :: (b -> a -> b) -> b -> Persistence a -> b # foldl' :: (b -> a -> b) -> b -> Persistence a -> b # foldr1 :: (a -> a -> a) -> Persistence a -> a # foldl1 :: (a -> a -> a) -> Persistence a -> a # toList :: Persistence a -> [a] # null :: Persistence a -> Bool # length :: Persistence a -> Int # elem :: Eq a => a -> Persistence a -> Bool # maximum :: Ord a => Persistence a -> a # minimum :: Ord a => Persistence a -> a # sum :: Num a => Persistence a -> a # product :: Num a => Persistence a -> a #
Traversable Persistence Source #
Methods traverse :: Applicative f => (a -> f b) -> Persistence a -> f (Persistence b) # sequenceA :: Applicative f => Persistence (f a) -> f (Persistence a) # mapM :: Monad m => (a -> m b) -> Persistence a -> m (Persistence b) # sequence :: Monad m => Persistence (m a) -> m (Persistence a) #
Eq a => Eq (Persistence a) Source #
Methods (==) :: Persistence a -> Persistence a -> Bool # (/=) :: Persistence a -> Persistence a -> Bool #
Data a => Data (Persistence a) Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Persistence a -> c (Persistence a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Persistence a) # toConstr :: Persistence a -> Constr # dataTypeOf :: Persistence a -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (Persistence a)) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Persistence a)) # gmapT :: (forall b. Data b => b -> b) -> Persistence a -> Persistence a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Persistence a -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Persistence a -> r # gmapQ :: (forall d. Data d => d -> u) -> Persistence a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Persistence a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Persistence a -> m (Persistence a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Persistence a -> m (Persistence a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Persistence a -> m (Persistence a) #
Ord a => Ord (Persistence a) Source #
Methods compare :: Persistence a -> Persistence a -> Ordering # (<) :: Persistence a -> Persistence a -> Bool # (<=) :: Persistence a -> Persistence a -> Bool # (>) :: Persistence a -> Persistence a -> Bool # (>=) :: Persistence a -> Persistence a -> Bool # max :: Persistence a -> Persistence a -> Persistence a # min :: Persistence a -> Persistence a -> Persistence a #
Show a => Show (Persistence a) Source #
Methods showsPrec :: Int -> Persistence a -> ShowS # show :: Persistence a -> String # showList :: [Persistence a] -> ShowS #
Generic (Persistence a) Source #
Associated Types type Rep (Persistence a) :: * -> * # Methods from :: Persistence a -> Rep (Persistence a) x # to :: Rep (Persistence a) x -> Persistence a #
Arbitrary a => Arbitrary (Persistence a) Source #
Methods arbitrary :: Gen (Persistence a) # shrink :: Persistence a -> [Persistence a] #
ToJSON a => ToJSON (Persistence a) Source #
Methods toJSON :: Persistence a -> Value # toEncoding :: Persistence a -> Encoding # toJSONList :: [Persistence a] -> Value # toEncodingList :: [Persistence a] -> Encoding #
FromJSON a => FromJSON (Persistence a) Source #
Methods parseJSON :: Value -> Parser (Persistence a) # parseJSONList :: Value -> Parser [Persistence a] #
type Rep (Persistence a) Source #
type Rep (Persistence a) = D1 * (MetaData "Persistence" "Database.Sql.Type.TableProps" "queryparser-0.1.0.1-L3r1ujeH5Ss7CLthXKM008" False) ((:+:) * (C1 * (MetaCons "Temporary" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * a))) (C1 * (MetaCons "Persistent" PrefixI False) (U1 *)))

data Externality a Source #

Constructors

External a
Internal

Instances

Functor Externality Source #
Methods fmap :: (a -> b) -> Externality a -> Externality b # (<$) :: a -> Externality b -> Externality a #
Foldable Externality Source #
Methods fold :: Monoid m => Externality m -> m # foldMap :: Monoid m => (a -> m) -> Externality a -> m # foldr :: (a -> b -> b) -> b -> Externality a -> b # foldr' :: (a -> b -> b) -> b -> Externality a -> b # foldl :: (b -> a -> b) -> b -> Externality a -> b # foldl' :: (b -> a -> b) -> b -> Externality a -> b # foldr1 :: (a -> a -> a) -> Externality a -> a # foldl1 :: (a -> a -> a) -> Externality a -> a # toList :: Externality a -> [a] # null :: Externality a -> Bool # length :: Externality a -> Int # elem :: Eq a => a -> Externality a -> Bool # maximum :: Ord a => Externality a -> a # minimum :: Ord a => Externality a -> a # sum :: Num a => Externality a -> a # product :: Num a => Externality a -> a #
Traversable Externality Source #
Methods traverse :: Applicative f => (a -> f b) -> Externality a -> f (Externality b) # sequenceA :: Applicative f => Externality (f a) -> f (Externality a) # mapM :: Monad m => (a -> m b) -> Externality a -> m (Externality b) # sequence :: Monad m => Externality (m a) -> m (Externality a) #
Eq a => Eq (Externality a) Source #
Methods (==) :: Externality a -> Externality a -> Bool # (/=) :: Externality a -> Externality a -> Bool #
Data a => Data (Externality a) Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Externality a -> c (Externality a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Externality a) # toConstr :: Externality a -> Constr # dataTypeOf :: Externality a -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (Externality a)) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Externality a)) # gmapT :: (forall b. Data b => b -> b) -> Externality a -> Externality a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Externality a -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Externality a -> r # gmapQ :: (forall d. Data d => d -> u) -> Externality a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Externality a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Externality a -> m (Externality a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Externality a -> m (Externality a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Externality a -> m (Externality a) #
Ord a => Ord (Externality a) Source #
Methods compare :: Externality a -> Externality a -> Ordering # (<) :: Externality a -> Externality a -> Bool # (<=) :: Externality a -> Externality a -> Bool # (>) :: Externality a -> Externality a -> Bool # (>=) :: Externality a -> Externality a -> Bool # max :: Externality a -> Externality a -> Externality a # min :: Externality a -> Externality a -> Externality a #
Show a => Show (Externality a) Source #
Methods showsPrec :: Int -> Externality a -> ShowS # show :: Externality a -> String # showList :: [Externality a] -> ShowS #
Generic (Externality a) Source #
Associated Types type Rep (Externality a) :: * -> * # Methods from :: Externality a -> Rep (Externality a) x # to :: Rep (Externality a) x -> Externality a #
ToJSON a => ToJSON (Externality a) Source #
Methods toJSON :: Externality a -> Value # toEncoding :: Externality a -> Encoding # toJSONList :: [Externality a] -> Value # toEncodingList :: [Externality a] -> Encoding #
FromJSON a => FromJSON (Externality a) Source #
Methods parseJSON :: Value -> Parser (Externality a) # parseJSONList :: Value -> Parser [Externality a] #
type Rep (Externality a) Source #
type Rep (Externality a) = D1 * (MetaData "Externality" "Database.Sql.Type.TableProps" "queryparser-0.1.0.1-L3r1ujeH5Ss7CLthXKM008" False) ((:+:) * (C1 * (MetaCons "External" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * a))) (C1 * (MetaCons "Internal" PrefixI False) (U1 *)))

data Existence Source #

Constructors

Exists
DoesNotExist

Instances

Eq Existence Source #
Methods (==) :: Existence -> Existence -> Bool # (/=) :: Existence -> Existence -> Bool #
Data Existence Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Existence -> c Existence # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Existence # toConstr :: Existence -> Constr # dataTypeOf :: Existence -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Existence) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Existence) # gmapT :: (forall b. Data b => b -> b) -> Existence -> Existence # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Existence -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Existence -> r # gmapQ :: (forall d. Data d => d -> u) -> Existence -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Existence -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Existence -> m Existence # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Existence -> m Existence # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Existence -> m Existence #
Ord Existence Source #
Methods compare :: Existence -> Existence -> Ordering # (<) :: Existence -> Existence -> Bool # (<=) :: Existence -> Existence -> Bool # (>) :: Existence -> Existence -> Bool # (>=) :: Existence -> Existence -> Bool # max :: Existence -> Existence -> Existence # min :: Existence -> Existence -> Existence #
Show Existence Source #
Methods showsPrec :: Int -> Existence -> ShowS # show :: Existence -> String # showList :: [Existence] -> ShowS #
Generic Existence Source #
Associated Types type Rep Existence :: * -> * # Methods from :: Existence -> Rep Existence x # to :: Rep Existence x -> Existence #
ToJSON Existence Source #
Methods toJSON :: Existence -> Value # toEncoding :: Existence -> Encoding # toJSONList :: [Existence] -> Value # toEncodingList :: [Existence] -> Encoding #
FromJSON Existence Source #
Methods parseJSON :: Value -> Parser Existence # parseJSONList :: Value -> Parser [Existence] #
type Rep Existence Source #
type Rep Existence = D1 * (MetaData "Existence" "Database.Sql.Type.TableProps" "queryparser-0.1.0.1-L3r1ujeH5Ss7CLthXKM008" False) ((:+:) * (C1 * (MetaCons "Exists" PrefixI False) (U1 )) (C1 (MetaCons "DoesNotExist" PrefixI False) (U1 *)))

data TableType Source #

Constructors

Table
View

Instances

Eq TableType Source #
Methods (==) :: TableType -> TableType -> Bool # (/=) :: TableType -> TableType -> Bool #
Data TableType Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TableType -> c TableType # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TableType # toConstr :: TableType -> Constr # dataTypeOf :: TableType -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c TableType) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TableType) # gmapT :: (forall b. Data b => b -> b) -> TableType -> TableType # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TableType -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TableType -> r # gmapQ :: (forall d. Data d => d -> u) -> TableType -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> TableType -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> TableType -> m TableType # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TableType -> m TableType # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TableType -> m TableType #
Ord TableType Source #
Methods compare :: TableType -> TableType -> Ordering # (<) :: TableType -> TableType -> Bool # (<=) :: TableType -> TableType -> Bool # (>) :: TableType -> TableType -> Bool # (>=) :: TableType -> TableType -> Bool # max :: TableType -> TableType -> TableType # min :: TableType -> TableType -> TableType #
Show TableType Source #
Methods showsPrec :: Int -> TableType -> ShowS # show :: TableType -> String # showList :: [TableType] -> ShowS #
Generic TableType Source #
Associated Types type Rep TableType :: * -> * # Methods from :: TableType -> Rep TableType x # to :: Rep TableType x -> TableType #
Arbitrary TableType Source #
Methods arbitrary :: Gen TableType # shrink :: TableType -> [TableType] #
ToJSON TableType Source #
Methods toJSON :: TableType -> Value # toEncoding :: TableType -> Encoding # toJSONList :: [TableType] -> Value # toEncodingList :: [TableType] -> Encoding #
FromJSON TableType Source #
Methods parseJSON :: Value -> Parser TableType # parseJSONList :: Value -> Parser [TableType] #
type Rep TableType Source #
type Rep TableType = D1 * (MetaData "TableType" "Database.Sql.Type.TableProps" "queryparser-0.1.0.1-L3r1ujeH5Ss7CLthXKM008" False) ((:+:) * (C1 * (MetaCons "Table" PrefixI False) (U1 )) (C1 (MetaCons "View" PrefixI False) (U1 *)))