hamsql-0.8.0.0: HamSql

Safe HaskellNone
LanguageHaskell2010

Database.YamSql.Internal.Obj.Type

Documentation

data Type Source #

Instances

Data Type Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Type -> c Type #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Type #

toConstr :: Type -> Constr #

dataTypeOf :: Type -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Type) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Type) #

gmapT :: (forall b. Data b => b -> b) -> Type -> Type #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Type -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Type -> r #

gmapQ :: (forall d. Data d => d -> u) -> Type -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Type -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Type -> m Type #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Type -> m Type #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Type -> m Type #

Show Type Source # 

Methods

showsPrec :: Int -> Type -> ShowS #

show :: Type -> String #

showList :: [Type] -> ShowS #

Generic Type Source # 

Associated Types

type Rep Type :: * -> * #

Methods

from :: Type -> Rep Type x #

to :: Rep Type x -> Type #

FromJSON Type Source # 
ToJSON Type Source # 
ToSqlId (SqlContext (Schema, Type)) Source # 
type Rep Type Source # 
type Rep Type = D1 (MetaData "Type" "Database.YamSql.Internal.Obj.Type" "hamsql-0.8.0.0-3odSe2l79FgLCGfN2lHmnu" False) (C1 (MetaCons "Type" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "typeName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SqlName)) ((:*:) (S1 (MetaSel (Just Symbol "typeDescription") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)) (S1 (MetaSel (Just Symbol "typeElements") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [TypeElement])))))

data TypeElement Source #

Instances

Data TypeElement Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TypeElement -> c TypeElement #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TypeElement #

toConstr :: TypeElement -> Constr #

dataTypeOf :: TypeElement -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c TypeElement) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TypeElement) #

gmapT :: (forall b. Data b => b -> b) -> TypeElement -> TypeElement #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TypeElement -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TypeElement -> r #

gmapQ :: (forall d. Data d => d -> u) -> TypeElement -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> TypeElement -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TypeElement -> m TypeElement #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeElement -> m TypeElement #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeElement -> m TypeElement #

Show TypeElement Source # 
Generic TypeElement Source # 

Associated Types

type Rep TypeElement :: * -> * #

FromJSON TypeElement Source # 
ToJSON TypeElement Source # 
type Rep TypeElement Source # 
type Rep TypeElement = D1 (MetaData "TypeElement" "Database.YamSql.Internal.Obj.Type" "hamsql-0.8.0.0-3odSe2l79FgLCGfN2lHmnu" False) (C1 (MetaCons "TypeElement" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "typeelementName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SqlName)) (S1 (MetaSel (Just Symbol "typeelementType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SqlType))))