Database.YamSql.Internal.Obj.Type

Documentation

data Type

Constructors

Type

Fields

• typeName :: SqlName
• typeDescription :: Text
• typeElements :: [TypeElement]

Instances

Data Type

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

Methods

showsPrec :: Int -> Type -> ShowS

show :: Type -> String

showList :: [Type] -> ShowS

Generic Type

Associated Types

type Rep Type :: * -> *

Methods

from :: Type -> Rep Type x

to :: Rep Type x -> Type

FromJSON Type

Methods

parseJSON :: Value -> Parser Type

parseJSONList :: Value -> Parser [Type]

ToJSON Type

Methods

toJSON :: Type -> Value

toEncoding :: Type -> Encoding

toJSONList :: [Type] -> Value

toEncodingList :: [Type] -> Encoding

ToSqlId (SqlContext (Schema, Type))

Methods

sqlId :: SqlContext (Schema, Type) -> SqlId

sqlIdCode :: SqlContext (Schema, Type) -> Text

type Rep Type

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

Constructors

TypeElement

Fields

• typeelementName :: SqlName
• typeelementType :: SqlType

Instances

Data TypeElement

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

Methods

showsPrec :: Int -> TypeElement -> ShowS

show :: TypeElement -> String

showList :: [TypeElement] -> ShowS

Generic TypeElement

Associated Types

type Rep TypeElement :: * -> *

Methods

from :: TypeElement -> Rep TypeElement x

to :: Rep TypeElement x -> TypeElement

FromJSON TypeElement

Methods

parseJSON :: Value -> Parser TypeElement

parseJSONList :: Value -> Parser [TypeElement]

ToJSON TypeElement

Methods

toJSON :: TypeElement -> Value

toEncoding :: TypeElement -> Encoding

toJSONList :: [TypeElement] -> Value

toEncodingList :: [TypeElement] -> Encoding

type Rep TypeElement

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))))

data SQL_TYPE

Constructors

SQL_TYPE

Instances

Show SQL_TYPE

Methods

showsPrec :: Int -> SQL_TYPE -> ShowS

show :: SQL_TYPE -> String

showList :: [SQL_TYPE] -> ShowS

ToSqlCode SQL_TYPE

Methods

toSqlCode :: SQL_TYPE -> Text

SqlObjType SQL_TYPE