Safe Haskell	None
Language	Haskell2010

Hasura.Backends.DataConnector.IR.OrderBy

Documentation

data OrderBy Source #

Constructors

OrderBy
Fields _obRelations :: HashMap RelationshipName OrderByRelation _obElements :: NonEmpty OrderByElement

Instances

Instances details

Eq OrderBy Source #
Instance details Defined in Hasura.Backends.DataConnector.IR.OrderBy Methods (==) :: OrderBy -> OrderBy -> Bool # (/=) :: OrderBy -> OrderBy -> Bool #
Data OrderBy Source #
Instance details Defined in Hasura.Backends.DataConnector.IR.OrderBy Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> OrderBy -> c OrderBy # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c OrderBy # toConstr :: OrderBy -> Constr # dataTypeOf :: OrderBy -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c OrderBy) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c OrderBy) # gmapT :: (forall b. Data b => b -> b) -> OrderBy -> OrderBy # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> OrderBy -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> OrderBy -> r # gmapQ :: (forall d. Data d => d -> u) -> OrderBy -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> OrderBy -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> OrderBy -> m OrderBy # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> OrderBy -> m OrderBy # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> OrderBy -> m OrderBy #
Ord OrderBy Source #
Instance details Defined in Hasura.Backends.DataConnector.IR.OrderBy Methods compare :: OrderBy -> OrderBy -> Ordering # (<) :: OrderBy -> OrderBy -> Bool # (<=) :: OrderBy -> OrderBy -> Bool # (>) :: OrderBy -> OrderBy -> Bool # (>=) :: OrderBy -> OrderBy -> Bool # max :: OrderBy -> OrderBy -> OrderBy # min :: OrderBy -> OrderBy -> OrderBy #
Show OrderBy Source #
Instance details Defined in Hasura.Backends.DataConnector.IR.OrderBy Methods showsPrec :: Int -> OrderBy -> ShowS # show :: OrderBy -> String # showList :: [OrderBy] -> ShowS #
Generic OrderBy Source #
Instance details Defined in Hasura.Backends.DataConnector.IR.OrderBy Associated Types type Rep OrderBy :: Type -> Type # Methods from :: OrderBy -> Rep OrderBy x # to :: Rep OrderBy x -> OrderBy #
NFData OrderBy Source #
Instance details Defined in Hasura.Backends.DataConnector.IR.OrderBy Methods rnf :: OrderBy -> () #
Hashable OrderBy Source #
Instance details Defined in Hasura.Backends.DataConnector.IR.OrderBy Methods hashWithSalt :: Int -> OrderBy -> Int hash :: OrderBy -> Int
ToJSON OrderBy Source #
Instance details Defined in Hasura.Backends.DataConnector.IR.OrderBy Methods toJSON :: OrderBy -> Value toEncoding :: OrderBy -> Encoding toJSONList :: [OrderBy] -> Value toEncodingList :: [OrderBy] -> Encoding
Cacheable OrderBy Source #
Instance details Defined in Hasura.Backends.DataConnector.IR.OrderBy Methods unchanged :: Accesses -> OrderBy -> OrderBy -> Bool Source #
From OrderBy OrderBy Source #
Instance details Defined in Hasura.Backends.DataConnector.IR.OrderBy Methods from :: OrderBy -> OrderBy0
type Rep OrderBy Source #
Instance details Defined in Hasura.Backends.DataConnector.IR.OrderBy type Rep OrderBy = D1 ('MetaData "OrderBy" "Hasura.Backends.DataConnector.IR.OrderBy" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "OrderBy" 'PrefixI 'True) (S1 ('MetaSel ('Just "_obRelations") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (HashMap RelationshipName OrderByRelation)) :*: S1 ('MetaSel ('Just "_obElements") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (NonEmpty OrderByElement))))

data OrderByRelation Source #

Constructors

OrderByRelation
Fields _obrWhere :: Maybe Expression _obrSubrelations :: HashMap RelationshipName OrderByRelation

Instances

Instances details

Eq OrderByRelation Source #
Instance details Defined in Hasura.Backends.DataConnector.IR.OrderBy Methods (==) :: OrderByRelation -> OrderByRelation -> Bool # (/=) :: OrderByRelation -> OrderByRelation -> Bool #
Data OrderByRelation Source #
Instance details Defined in Hasura.Backends.DataConnector.IR.OrderBy Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> OrderByRelation -> c OrderByRelation # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c OrderByRelation # toConstr :: OrderByRelation -> Constr # dataTypeOf :: OrderByRelation -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c OrderByRelation) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c OrderByRelation) # gmapT :: (forall b. Data b => b -> b) -> OrderByRelation -> OrderByRelation # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> OrderByRelation -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> OrderByRelation -> r # gmapQ :: (forall d. Data d => d -> u) -> OrderByRelation -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> OrderByRelation -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> OrderByRelation -> m OrderByRelation # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> OrderByRelation -> m OrderByRelation # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> OrderByRelation -> m OrderByRelation #
Ord OrderByRelation Source #
Instance details Defined in Hasura.Backends.DataConnector.IR.OrderBy Methods compare :: OrderByRelation -> OrderByRelation -> Ordering # (<) :: OrderByRelation -> OrderByRelation -> Bool # (<=) :: OrderByRelation -> OrderByRelation -> Bool # (>) :: OrderByRelation -> OrderByRelation -> Bool # (>=) :: OrderByRelation -> OrderByRelation -> Bool # max :: OrderByRelation -> OrderByRelation -> OrderByRelation # min :: OrderByRelation -> OrderByRelation -> OrderByRelation #
Show OrderByRelation Source #
Instance details Defined in Hasura.Backends.DataConnector.IR.OrderBy Methods showsPrec :: Int -> OrderByRelation -> ShowS # show :: OrderByRelation -> String # showList :: [OrderByRelation] -> ShowS #
Generic OrderByRelation Source #
Instance details Defined in Hasura.Backends.DataConnector.IR.OrderBy Associated Types type Rep OrderByRelation :: Type -> Type # Methods from :: OrderByRelation -> Rep OrderByRelation x # to :: Rep OrderByRelation x -> OrderByRelation #
NFData OrderByRelation Source #
Instance details Defined in Hasura.Backends.DataConnector.IR.OrderBy Methods rnf :: OrderByRelation -> () #
Hashable OrderByRelation Source #
Instance details Defined in Hasura.Backends.DataConnector.IR.OrderBy Methods hashWithSalt :: Int -> OrderByRelation -> Int hash :: OrderByRelation -> Int
ToJSON OrderByRelation Source #
Instance details Defined in Hasura.Backends.DataConnector.IR.OrderBy Methods toJSON :: OrderByRelation -> Value toEncoding :: OrderByRelation -> Encoding toJSONList :: [OrderByRelation] -> Value toEncodingList :: [OrderByRelation] -> Encoding
Cacheable OrderByRelation Source #
Instance details Defined in Hasura.Backends.DataConnector.IR.OrderBy Methods unchanged :: Accesses -> OrderByRelation -> OrderByRelation -> Bool Source #
From OrderByRelation OrderByRelation Source #
Instance details Defined in Hasura.Backends.DataConnector.IR.OrderBy Methods from :: OrderByRelation -> OrderByRelation0
type Rep OrderByRelation Source #
Instance details Defined in Hasura.Backends.DataConnector.IR.OrderBy type Rep OrderByRelation = D1 ('MetaData "OrderByRelation" "Hasura.Backends.DataConnector.IR.OrderBy" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "OrderByRelation" 'PrefixI 'True) (S1 ('MetaSel ('Just "_obrWhere") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Expression)) :*: S1 ('MetaSel ('Just "_obrSubrelations") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (HashMap RelationshipName OrderByRelation))))

data OrderByElement Source #

Constructors

OrderByElement
Fields _obeTargetPath :: [RelationshipName] _obeTarget :: OrderByTarget _obeOrderDirection :: OrderDirection

Instances

Instances details

Eq OrderByElement Source #
Instance details Defined in Hasura.Backends.DataConnector.IR.OrderBy Methods (==) :: OrderByElement -> OrderByElement -> Bool # (/=) :: OrderByElement -> OrderByElement -> Bool #
Data OrderByElement Source #
Instance details Defined in Hasura.Backends.DataConnector.IR.OrderBy Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> OrderByElement -> c OrderByElement # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c OrderByElement # toConstr :: OrderByElement -> Constr # dataTypeOf :: OrderByElement -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c OrderByElement) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c OrderByElement) # gmapT :: (forall b. Data b => b -> b) -> OrderByElement -> OrderByElement # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> OrderByElement -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> OrderByElement -> r # gmapQ :: (forall d. Data d => d -> u) -> OrderByElement -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> OrderByElement -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> OrderByElement -> m OrderByElement # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> OrderByElement -> m OrderByElement # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> OrderByElement -> m OrderByElement #
Ord OrderByElement Source #
Instance details Defined in Hasura.Backends.DataConnector.IR.OrderBy Methods compare :: OrderByElement -> OrderByElement -> Ordering # (<) :: OrderByElement -> OrderByElement -> Bool # (<=) :: OrderByElement -> OrderByElement -> Bool # (>) :: OrderByElement -> OrderByElement -> Bool # (>=) :: OrderByElement -> OrderByElement -> Bool # max :: OrderByElement -> OrderByElement -> OrderByElement # min :: OrderByElement -> OrderByElement -> OrderByElement #
Show OrderByElement Source #
Instance details Defined in Hasura.Backends.DataConnector.IR.OrderBy Methods showsPrec :: Int -> OrderByElement -> ShowS # show :: OrderByElement -> String # showList :: [OrderByElement] -> ShowS #
Generic OrderByElement Source #
Instance details Defined in Hasura.Backends.DataConnector.IR.OrderBy Associated Types type Rep OrderByElement :: Type -> Type # Methods from :: OrderByElement -> Rep OrderByElement x # to :: Rep OrderByElement x -> OrderByElement #
NFData OrderByElement Source #
Instance details Defined in Hasura.Backends.DataConnector.IR.OrderBy Methods rnf :: OrderByElement -> () #
Hashable OrderByElement Source #
Instance details Defined in Hasura.Backends.DataConnector.IR.OrderBy Methods hashWithSalt :: Int -> OrderByElement -> Int hash :: OrderByElement -> Int
ToJSON OrderByElement Source #
Instance details Defined in Hasura.Backends.DataConnector.IR.OrderBy Methods toJSON :: OrderByElement -> Value toEncoding :: OrderByElement -> Encoding toJSONList :: [OrderByElement] -> Value toEncodingList :: [OrderByElement] -> Encoding
Cacheable OrderByElement Source #
Instance details Defined in Hasura.Backends.DataConnector.IR.OrderBy Methods unchanged :: Accesses -> OrderByElement -> OrderByElement -> Bool Source #
From OrderByElement OrderByElement Source #
Instance details Defined in Hasura.Backends.DataConnector.IR.OrderBy Methods from :: OrderByElement -> OrderByElement0
type Rep OrderByElement Source #
Instance details Defined in Hasura.Backends.DataConnector.IR.OrderBy type Rep OrderByElement = D1 ('MetaData "OrderByElement" "Hasura.Backends.DataConnector.IR.OrderBy" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "OrderByElement" 'PrefixI 'True) (S1 ('MetaSel ('Just "_obeTargetPath") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [RelationshipName]) :: (S1 ('MetaSel ('Just "_obeTarget") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 OrderByTarget) :: S1 ('MetaSel ('Just "_obeOrderDirection") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 OrderDirection))))

data OrderByTarget Source #

Constructors

OrderByColumn Name
OrderByStarCountAggregate
OrderBySingleColumnAggregate SingleColumnAggregate

Instances

Instances details

Eq OrderByTarget Source #
Instance details Defined in Hasura.Backends.DataConnector.IR.OrderBy Methods (==) :: OrderByTarget -> OrderByTarget -> Bool # (/=) :: OrderByTarget -> OrderByTarget -> Bool #
Data OrderByTarget Source #
Instance details Defined in Hasura.Backends.DataConnector.IR.OrderBy Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> OrderByTarget -> c OrderByTarget # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c OrderByTarget # toConstr :: OrderByTarget -> Constr # dataTypeOf :: OrderByTarget -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c OrderByTarget) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c OrderByTarget) # gmapT :: (forall b. Data b => b -> b) -> OrderByTarget -> OrderByTarget # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> OrderByTarget -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> OrderByTarget -> r # gmapQ :: (forall d. Data d => d -> u) -> OrderByTarget -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> OrderByTarget -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> OrderByTarget -> m OrderByTarget # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> OrderByTarget -> m OrderByTarget # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> OrderByTarget -> m OrderByTarget #
Ord OrderByTarget Source #
Instance details Defined in Hasura.Backends.DataConnector.IR.OrderBy Methods compare :: OrderByTarget -> OrderByTarget -> Ordering # (<) :: OrderByTarget -> OrderByTarget -> Bool # (<=) :: OrderByTarget -> OrderByTarget -> Bool # (>) :: OrderByTarget -> OrderByTarget -> Bool # (>=) :: OrderByTarget -> OrderByTarget -> Bool # max :: OrderByTarget -> OrderByTarget -> OrderByTarget # min :: OrderByTarget -> OrderByTarget -> OrderByTarget #
Show OrderByTarget Source #
Instance details Defined in Hasura.Backends.DataConnector.IR.OrderBy Methods showsPrec :: Int -> OrderByTarget -> ShowS # show :: OrderByTarget -> String # showList :: [OrderByTarget] -> ShowS #
Generic OrderByTarget Source #
Instance details Defined in Hasura.Backends.DataConnector.IR.OrderBy Associated Types type Rep OrderByTarget :: Type -> Type # Methods from :: OrderByTarget -> Rep OrderByTarget x # to :: Rep OrderByTarget x -> OrderByTarget #
NFData OrderByTarget Source #
Instance details Defined in Hasura.Backends.DataConnector.IR.OrderBy Methods rnf :: OrderByTarget -> () #
Hashable OrderByTarget Source #
Instance details Defined in Hasura.Backends.DataConnector.IR.OrderBy Methods hashWithSalt :: Int -> OrderByTarget -> Int hash :: OrderByTarget -> Int
ToJSON OrderByTarget Source #
Instance details Defined in Hasura.Backends.DataConnector.IR.OrderBy Methods toJSON :: OrderByTarget -> Value toEncoding :: OrderByTarget -> Encoding toJSONList :: [OrderByTarget] -> Value toEncodingList :: [OrderByTarget] -> Encoding
Cacheable OrderByTarget Source #
Instance details Defined in Hasura.Backends.DataConnector.IR.OrderBy Methods unchanged :: Accesses -> OrderByTarget -> OrderByTarget -> Bool Source #
From OrderByTarget OrderByTarget Source #
Instance details Defined in Hasura.Backends.DataConnector.IR.OrderBy Methods from :: OrderByTarget -> OrderByTarget0
type Rep OrderByTarget Source #
Instance details Defined in Hasura.Backends.DataConnector.IR.OrderBy type Rep OrderByTarget = D1 ('MetaData "OrderByTarget" "Hasura.Backends.DataConnector.IR.OrderBy" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "OrderByColumn" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Name)) :+: (C1 ('MetaCons "OrderByStarCountAggregate" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OrderBySingleColumnAggregate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SingleColumnAggregate))))

data OrderDirection Source #

Constructors

Ascending
Descending

Instances

Instances details

Eq OrderDirection Source #
Instance details Defined in Hasura.Backends.DataConnector.IR.OrderBy Methods (==) :: OrderDirection -> OrderDirection -> Bool # (/=) :: OrderDirection -> OrderDirection -> Bool #
Data OrderDirection Source #
Instance details Defined in Hasura.Backends.DataConnector.IR.OrderBy Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> OrderDirection -> c OrderDirection # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c OrderDirection # toConstr :: OrderDirection -> Constr # dataTypeOf :: OrderDirection -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c OrderDirection) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c OrderDirection) # gmapT :: (forall b. Data b => b -> b) -> OrderDirection -> OrderDirection # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> OrderDirection -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> OrderDirection -> r # gmapQ :: (forall d. Data d => d -> u) -> OrderDirection -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> OrderDirection -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> OrderDirection -> m OrderDirection # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> OrderDirection -> m OrderDirection # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> OrderDirection -> m OrderDirection #
Ord OrderDirection Source #
Instance details Defined in Hasura.Backends.DataConnector.IR.OrderBy Methods compare :: OrderDirection -> OrderDirection -> Ordering # (<) :: OrderDirection -> OrderDirection -> Bool # (<=) :: OrderDirection -> OrderDirection -> Bool # (>) :: OrderDirection -> OrderDirection -> Bool # (>=) :: OrderDirection -> OrderDirection -> Bool # max :: OrderDirection -> OrderDirection -> OrderDirection # min :: OrderDirection -> OrderDirection -> OrderDirection #
Show OrderDirection Source #
Instance details Defined in Hasura.Backends.DataConnector.IR.OrderBy Methods showsPrec :: Int -> OrderDirection -> ShowS # show :: OrderDirection -> String # showList :: [OrderDirection] -> ShowS #
Generic OrderDirection Source #
Instance details Defined in Hasura.Backends.DataConnector.IR.OrderBy Associated Types type Rep OrderDirection :: Type -> Type # Methods from :: OrderDirection -> Rep OrderDirection x # to :: Rep OrderDirection x -> OrderDirection #
NFData OrderDirection Source #
Instance details Defined in Hasura.Backends.DataConnector.IR.OrderBy Methods rnf :: OrderDirection -> () #
Hashable OrderDirection Source #
Instance details Defined in Hasura.Backends.DataConnector.IR.OrderBy Methods hashWithSalt :: Int -> OrderDirection -> Int hash :: OrderDirection -> Int
ToJSON OrderDirection Source #
Instance details Defined in Hasura.Backends.DataConnector.IR.OrderBy Methods toJSON :: OrderDirection -> Value toEncoding :: OrderDirection -> Encoding toJSONList :: [OrderDirection] -> Value toEncodingList :: [OrderDirection] -> Encoding
Cacheable OrderDirection Source #
Instance details Defined in Hasura.Backends.DataConnector.IR.OrderBy Methods unchanged :: Accesses -> OrderDirection -> OrderDirection -> Bool Source #
From OrderDirection OrderDirection Source #
Instance details Defined in Hasura.Backends.DataConnector.IR.OrderBy Methods from :: OrderDirection0 -> OrderDirection
From OrderDirection OrderDirection Source #
Instance details Defined in Hasura.Backends.DataConnector.IR.OrderBy Methods from :: OrderDirection -> OrderDirection0
type Rep OrderDirection Source #
Instance details Defined in Hasura.Backends.DataConnector.IR.OrderBy type Rep OrderDirection = D1 ('MetaData "OrderDirection" "Hasura.Backends.DataConnector.IR.OrderBy" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "Ascending" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Descending" 'PrefixI 'False) (U1 :: Type -> Type))