Safe Haskell	None
Language	Haskell2010

PostgresqlSyntax.Ast.Typename

Documentation

data Typename Source #

Constructors

Typename Bool SimpleTypename Bool (Maybe (TypenameArrayDimensions, Bool))

Instances

Instances details

Arbitrary Typename Source #

Instance details

Defined in PostgresqlSyntax.Ast.Typename

Methods

arbitrary :: Gen Typename #

shrink :: Typename -> [Typename] #

Eq Typename Source #

Instance details

Defined in PostgresqlSyntax.Ast.Typename

Methods

(==) :: Typename -> Typename -> Bool #

(/=) :: Typename -> Typename -> Bool #

Ord Typename Source #

Instance details

Defined in PostgresqlSyntax.Ast.Typename

Methods

compare :: Typename -> Typename -> Ordering #

(<) :: Typename -> Typename -> Bool #

(<=) :: Typename -> Typename -> Bool #

(>) :: Typename -> Typename -> Bool #

(>=) :: Typename -> Typename -> Bool #

max :: Typename -> Typename -> Typename #

min :: Typename -> Typename -> Typename #

Data Typename Source #

Instance details

Defined in PostgresqlSyntax.Ast.Typename

Methods

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

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

toConstr :: Typename -> Constr #

dataTypeOf :: Typename -> DataType #

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

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

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

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

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

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

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

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

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

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

Generic Typename Source #

Instance details

Defined in PostgresqlSyntax.Ast.Typename

Associated Types

type Rep Typename

Instance details

Defined in PostgresqlSyntax.Ast.Typename

type Rep Typename = D1 ('MetaData "Typename" "PostgresqlSyntax.Ast.Typename" "postgresql-syntax-0.5.0.2-inplace-internal" 'False) (C1 ('MetaCons "Typename" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SimpleTypename)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (TypenameArrayDimensions, Bool))))))

Methods

from :: Typename -> Rep Typename x #

to :: Rep Typename x -> Typename #

Show Typename Source #

Instance details

Defined in PostgresqlSyntax.Ast.Typename

Methods

showsPrec :: Int -> Typename -> ShowS #

show :: Typename -> String #

showList :: [Typename] -> ShowS #

IsAst Typename Source #

Instance details

Defined in PostgresqlSyntax.Ast.Typename

Methods

toTextBuilder :: Settings -> Typename -> TextBuilder Source #

parser :: Settings -> Parser Typename Source #

type Rep Typename Source #

Instance details

Defined in PostgresqlSyntax.Ast.Typename

type Rep Typename = D1 ('MetaData "Typename" "PostgresqlSyntax.Ast.Typename" "postgresql-syntax-0.5.0.2-inplace-internal" 'False) (C1 ('MetaCons "Typename" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SimpleTypename)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (TypenameArrayDimensions, Bool))))))