Safe Haskell	None
Language	Haskell2010

Calamity.Types.Model.Channel.Embed

Description

Message embeds

Documentation

data Embed Source #

Constructors

Embed
Fields title :: Maybe Text type_ :: Maybe Text description :: Maybe Text url :: Maybe Text timestamp :: Maybe UTCTime color :: Maybe Word64 footer :: Maybe EmbedFooter image :: Maybe EmbedImage thumbnail :: Maybe EmbedThumbnail video :: Maybe EmbedVideo provider :: Maybe EmbedProvider author :: Maybe EmbedAuthor fields :: [EmbedField]

Instances

Instances details

Eq Embed Source #
Instance details Defined in Calamity.Types.Model.Channel.Embed Methods (==) :: Embed -> Embed -> Bool # (/=) :: Embed -> Embed -> Bool #
Show Embed Source #
Instance details Defined in Calamity.Types.Model.Channel.Embed Methods showsPrec :: Int -> Embed -> ShowS # show :: Embed -> String # showList :: [Embed] -> ShowS #
Generic Embed Source #
Instance details Defined in Calamity.Types.Model.Channel.Embed Associated Types type Rep Embed :: Type -> Type # Methods from :: Embed -> Rep Embed x # to :: Rep Embed x -> Embed #
ToJSON Embed Source #
Instance details Defined in Calamity.Types.Model.Channel.Embed Methods toJSON :: Embed -> Value # toEncoding :: Embed -> Encoding # toJSONList :: [Embed] -> Value # toEncodingList :: [Embed] -> Encoding #
FromJSON Embed Source #
Instance details Defined in Calamity.Types.Model.Channel.Embed Methods parseJSON :: Value -> Parser Embed # parseJSONList :: Value -> Parser [Embed] #
TextShow Embed Source #
Instance details Defined in Calamity.Types.Model.Channel.Embed Methods showbPrec :: Int -> Embed -> Builder # showb :: Embed -> Builder # showbList :: [Embed] -> Builder # showtPrec :: Int -> Embed -> Text # showt :: Embed -> Text # showtList :: [Embed] -> Text # showtlPrec :: Int -> Embed -> Text # showtl :: Embed -> Text # showtlList :: [Embed] -> Text #
type Rep Embed Source #
Instance details Defined in Calamity.Types.Model.Channel.Embed type Rep Embed = D1 ('MetaData "Embed" "Calamity.Types.Model.Channel.Embed" "calamity-0.1.3.1-inplace" 'False) (C1 ('MetaCons "Embed" 'PrefixI 'True) (((S1 ('MetaSel ('Just "title") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :: (S1 ('MetaSel ('Just "type_") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :: S1 ('MetaSel ('Just "description") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)))) :: (S1 ('MetaSel ('Just "url") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :: (S1 ('MetaSel ('Just "timestamp") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe UTCTime)) :: S1 ('MetaSel ('Just "color") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Word64))))) :: ((S1 ('MetaSel ('Just "footer") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe EmbedFooter)) :: (S1 ('MetaSel ('Just "image") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe EmbedImage)) :: S1 ('MetaSel ('Just "thumbnail") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe EmbedThumbnail)))) :: ((S1 ('MetaSel ('Just "video") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe EmbedVideo)) :: S1 ('MetaSel ('Just "provider") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe EmbedProvider))) :: (S1 ('MetaSel ('Just "author") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe EmbedAuthor)) :: S1 ('MetaSel ('Just "fields") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [EmbedField]))))))

data EmbedFooter Source #

Constructors

EmbedFooter
Fields text :: Text iconUrl :: Maybe Text proxyIconUrl :: Maybe Text

Instances

Instances details

Eq EmbedFooter Source #
Instance details Defined in Calamity.Types.Model.Channel.Embed Methods (==) :: EmbedFooter -> EmbedFooter -> Bool # (/=) :: EmbedFooter -> EmbedFooter -> Bool #
Show EmbedFooter Source #
Instance details Defined in Calamity.Types.Model.Channel.Embed Methods showsPrec :: Int -> EmbedFooter -> ShowS # show :: EmbedFooter -> String # showList :: [EmbedFooter] -> ShowS #
Generic EmbedFooter Source #
Instance details Defined in Calamity.Types.Model.Channel.Embed Associated Types type Rep EmbedFooter :: Type -> Type # Methods from :: EmbedFooter -> Rep EmbedFooter x # to :: Rep EmbedFooter x -> EmbedFooter #
ToJSON EmbedFooter Source #
Instance details Defined in Calamity.Types.Model.Channel.Embed Methods toJSON :: EmbedFooter -> Value # toEncoding :: EmbedFooter -> Encoding # toJSONList :: [EmbedFooter] -> Value # toEncodingList :: [EmbedFooter] -> Encoding #
FromJSON EmbedFooter Source #
Instance details Defined in Calamity.Types.Model.Channel.Embed Methods parseJSON :: Value -> Parser EmbedFooter # parseJSONList :: Value -> Parser [EmbedFooter] #
TextShow EmbedFooter Source #
Instance details Defined in Calamity.Types.Model.Channel.Embed Methods showbPrec :: Int -> EmbedFooter -> Builder # showb :: EmbedFooter -> Builder # showbList :: [EmbedFooter] -> Builder # showtPrec :: Int -> EmbedFooter -> Text # showt :: EmbedFooter -> Text # showtList :: [EmbedFooter] -> Text # showtlPrec :: Int -> EmbedFooter -> Text # showtl :: EmbedFooter -> Text # showtlList :: [EmbedFooter] -> Text #
type Rep EmbedFooter Source #
Instance details Defined in Calamity.Types.Model.Channel.Embed type Rep EmbedFooter = D1 ('MetaData "EmbedFooter" "Calamity.Types.Model.Channel.Embed" "calamity-0.1.3.1-inplace" 'False) (C1 ('MetaCons "EmbedFooter" 'PrefixI 'True) (S1 ('MetaSel ('Just "text") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: (S1 ('MetaSel ('Just "iconUrl") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :: S1 ('MetaSel ('Just "proxyIconUrl") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)))))

data EmbedImage Source #

Constructors

EmbedImage
Fields url :: Text proxyUrl :: Text width :: Word64 height :: Word64

Instances

Instances details

Eq EmbedImage Source #
Instance details Defined in Calamity.Types.Model.Channel.Embed Methods (==) :: EmbedImage -> EmbedImage -> Bool # (/=) :: EmbedImage -> EmbedImage -> Bool #
Show EmbedImage Source #
Instance details Defined in Calamity.Types.Model.Channel.Embed Methods showsPrec :: Int -> EmbedImage -> ShowS # show :: EmbedImage -> String # showList :: [EmbedImage] -> ShowS #
Generic EmbedImage Source #
Instance details Defined in Calamity.Types.Model.Channel.Embed Associated Types type Rep EmbedImage :: Type -> Type # Methods from :: EmbedImage -> Rep EmbedImage x # to :: Rep EmbedImage x -> EmbedImage #
ToJSON EmbedImage Source #
Instance details Defined in Calamity.Types.Model.Channel.Embed Methods toJSON :: EmbedImage -> Value # toEncoding :: EmbedImage -> Encoding # toJSONList :: [EmbedImage] -> Value # toEncodingList :: [EmbedImage] -> Encoding #
FromJSON EmbedImage Source #
Instance details Defined in Calamity.Types.Model.Channel.Embed Methods parseJSON :: Value -> Parser EmbedImage # parseJSONList :: Value -> Parser [EmbedImage] #
TextShow EmbedImage Source #
Instance details Defined in Calamity.Types.Model.Channel.Embed Methods showbPrec :: Int -> EmbedImage -> Builder # showb :: EmbedImage -> Builder # showbList :: [EmbedImage] -> Builder # showtPrec :: Int -> EmbedImage -> Text # showt :: EmbedImage -> Text # showtList :: [EmbedImage] -> Text # showtlPrec :: Int -> EmbedImage -> Text # showtl :: EmbedImage -> Text # showtlList :: [EmbedImage] -> Text #
type Rep EmbedImage Source #
Instance details Defined in Calamity.Types.Model.Channel.Embed type Rep EmbedImage = D1 ('MetaData "EmbedImage" "Calamity.Types.Model.Channel.Embed" "calamity-0.1.3.1-inplace" 'False) (C1 ('MetaCons "EmbedImage" 'PrefixI 'True) ((S1 ('MetaSel ('Just "url") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: S1 ('MetaSel ('Just "proxyUrl") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :: (S1 ('MetaSel ('Just "width") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64) :*: S1 ('MetaSel ('Just "height") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64))))

data EmbedThumbnail Source #

Constructors

EmbedThumbnail
Fields url :: Text proxyUrl :: Text width :: Word64 height :: Word64

Instances

Instances details

Eq EmbedThumbnail Source #
Instance details Defined in Calamity.Types.Model.Channel.Embed Methods (==) :: EmbedThumbnail -> EmbedThumbnail -> Bool # (/=) :: EmbedThumbnail -> EmbedThumbnail -> Bool #
Show EmbedThumbnail Source #
Instance details Defined in Calamity.Types.Model.Channel.Embed Methods showsPrec :: Int -> EmbedThumbnail -> ShowS # show :: EmbedThumbnail -> String # showList :: [EmbedThumbnail] -> ShowS #
Generic EmbedThumbnail Source #
Instance details Defined in Calamity.Types.Model.Channel.Embed Associated Types type Rep EmbedThumbnail :: Type -> Type # Methods from :: EmbedThumbnail -> Rep EmbedThumbnail x # to :: Rep EmbedThumbnail x -> EmbedThumbnail #
ToJSON EmbedThumbnail Source #
Instance details Defined in Calamity.Types.Model.Channel.Embed Methods toJSON :: EmbedThumbnail -> Value # toEncoding :: EmbedThumbnail -> Encoding # toJSONList :: [EmbedThumbnail] -> Value # toEncodingList :: [EmbedThumbnail] -> Encoding #
FromJSON EmbedThumbnail Source #
Instance details Defined in Calamity.Types.Model.Channel.Embed Methods parseJSON :: Value -> Parser EmbedThumbnail # parseJSONList :: Value -> Parser [EmbedThumbnail] #
TextShow EmbedThumbnail Source #
Instance details Defined in Calamity.Types.Model.Channel.Embed Methods showbPrec :: Int -> EmbedThumbnail -> Builder # showb :: EmbedThumbnail -> Builder # showbList :: [EmbedThumbnail] -> Builder # showtPrec :: Int -> EmbedThumbnail -> Text # showt :: EmbedThumbnail -> Text # showtList :: [EmbedThumbnail] -> Text # showtlPrec :: Int -> EmbedThumbnail -> Text # showtl :: EmbedThumbnail -> Text # showtlList :: [EmbedThumbnail] -> Text #
type Rep EmbedThumbnail Source #
Instance details Defined in Calamity.Types.Model.Channel.Embed type Rep EmbedThumbnail = D1 ('MetaData "EmbedThumbnail" "Calamity.Types.Model.Channel.Embed" "calamity-0.1.3.1-inplace" 'False) (C1 ('MetaCons "EmbedThumbnail" 'PrefixI 'True) ((S1 ('MetaSel ('Just "url") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: S1 ('MetaSel ('Just "proxyUrl") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :: (S1 ('MetaSel ('Just "width") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64) :*: S1 ('MetaSel ('Just "height") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64))))

data EmbedVideo Source #

Constructors

EmbedVideo
Fields url :: Text width :: Word64 height :: Word64

Instances

Instances details

Eq EmbedVideo Source #
Instance details Defined in Calamity.Types.Model.Channel.Embed Methods (==) :: EmbedVideo -> EmbedVideo -> Bool # (/=) :: EmbedVideo -> EmbedVideo -> Bool #
Show EmbedVideo Source #
Instance details Defined in Calamity.Types.Model.Channel.Embed Methods showsPrec :: Int -> EmbedVideo -> ShowS # show :: EmbedVideo -> String # showList :: [EmbedVideo] -> ShowS #
Generic EmbedVideo Source #
Instance details Defined in Calamity.Types.Model.Channel.Embed Associated Types type Rep EmbedVideo :: Type -> Type # Methods from :: EmbedVideo -> Rep EmbedVideo x # to :: Rep EmbedVideo x -> EmbedVideo #
ToJSON EmbedVideo Source #
Instance details Defined in Calamity.Types.Model.Channel.Embed Methods toJSON :: EmbedVideo -> Value # toEncoding :: EmbedVideo -> Encoding # toJSONList :: [EmbedVideo] -> Value # toEncodingList :: [EmbedVideo] -> Encoding #
FromJSON EmbedVideo Source #
Instance details Defined in Calamity.Types.Model.Channel.Embed Methods parseJSON :: Value -> Parser EmbedVideo # parseJSONList :: Value -> Parser [EmbedVideo] #
TextShow EmbedVideo Source #
Instance details Defined in Calamity.Types.Model.Channel.Embed Methods showbPrec :: Int -> EmbedVideo -> Builder # showb :: EmbedVideo -> Builder # showbList :: [EmbedVideo] -> Builder # showtPrec :: Int -> EmbedVideo -> Text # showt :: EmbedVideo -> Text # showtList :: [EmbedVideo] -> Text # showtlPrec :: Int -> EmbedVideo -> Text # showtl :: EmbedVideo -> Text # showtlList :: [EmbedVideo] -> Text #
type Rep EmbedVideo Source #
Instance details Defined in Calamity.Types.Model.Channel.Embed type Rep EmbedVideo = D1 ('MetaData "EmbedVideo" "Calamity.Types.Model.Channel.Embed" "calamity-0.1.3.1-inplace" 'False) (C1 ('MetaCons "EmbedVideo" 'PrefixI 'True) (S1 ('MetaSel ('Just "url") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: (S1 ('MetaSel ('Just "width") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64) :: S1 ('MetaSel ('Just "height") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64))))

data EmbedProvider Source #

Constructors

EmbedProvider
Fields name :: Text url :: Maybe Text

Instances

Instances details

Eq EmbedProvider Source #
Instance details Defined in Calamity.Types.Model.Channel.Embed Methods (==) :: EmbedProvider -> EmbedProvider -> Bool # (/=) :: EmbedProvider -> EmbedProvider -> Bool #
Show EmbedProvider Source #
Instance details Defined in Calamity.Types.Model.Channel.Embed Methods showsPrec :: Int -> EmbedProvider -> ShowS # show :: EmbedProvider -> String # showList :: [EmbedProvider] -> ShowS #
Generic EmbedProvider Source #
Instance details Defined in Calamity.Types.Model.Channel.Embed Associated Types type Rep EmbedProvider :: Type -> Type # Methods from :: EmbedProvider -> Rep EmbedProvider x # to :: Rep EmbedProvider x -> EmbedProvider #
ToJSON EmbedProvider Source #
Instance details Defined in Calamity.Types.Model.Channel.Embed Methods toJSON :: EmbedProvider -> Value # toEncoding :: EmbedProvider -> Encoding # toJSONList :: [EmbedProvider] -> Value # toEncodingList :: [EmbedProvider] -> Encoding #
FromJSON EmbedProvider Source #
Instance details Defined in Calamity.Types.Model.Channel.Embed Methods parseJSON :: Value -> Parser EmbedProvider # parseJSONList :: Value -> Parser [EmbedProvider] #
TextShow EmbedProvider Source #
Instance details Defined in Calamity.Types.Model.Channel.Embed Methods showbPrec :: Int -> EmbedProvider -> Builder # showb :: EmbedProvider -> Builder # showbList :: [EmbedProvider] -> Builder # showtPrec :: Int -> EmbedProvider -> Text # showt :: EmbedProvider -> Text # showtList :: [EmbedProvider] -> Text # showtlPrec :: Int -> EmbedProvider -> Text # showtl :: EmbedProvider -> Text # showtlList :: [EmbedProvider] -> Text #
type Rep EmbedProvider Source #
Instance details Defined in Calamity.Types.Model.Channel.Embed type Rep EmbedProvider = D1 ('MetaData "EmbedProvider" "Calamity.Types.Model.Channel.Embed" "calamity-0.1.3.1-inplace" 'False) (C1 ('MetaCons "EmbedProvider" 'PrefixI 'True) (S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "url") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text))))

data EmbedAuthor Source #

Constructors

EmbedAuthor
Fields name :: Maybe Text url :: Maybe Text iconUrl :: Maybe Text proxyIconURL :: Maybe Text

Instances

Instances details

Eq EmbedAuthor Source #
Instance details Defined in Calamity.Types.Model.Channel.Embed Methods (==) :: EmbedAuthor -> EmbedAuthor -> Bool # (/=) :: EmbedAuthor -> EmbedAuthor -> Bool #
Show EmbedAuthor Source #
Instance details Defined in Calamity.Types.Model.Channel.Embed Methods showsPrec :: Int -> EmbedAuthor -> ShowS # show :: EmbedAuthor -> String # showList :: [EmbedAuthor] -> ShowS #
Generic EmbedAuthor Source #
Instance details Defined in Calamity.Types.Model.Channel.Embed Associated Types type Rep EmbedAuthor :: Type -> Type # Methods from :: EmbedAuthor -> Rep EmbedAuthor x # to :: Rep EmbedAuthor x -> EmbedAuthor #
ToJSON EmbedAuthor Source #
Instance details Defined in Calamity.Types.Model.Channel.Embed Methods toJSON :: EmbedAuthor -> Value # toEncoding :: EmbedAuthor -> Encoding # toJSONList :: [EmbedAuthor] -> Value # toEncodingList :: [EmbedAuthor] -> Encoding #
FromJSON EmbedAuthor Source #
Instance details Defined in Calamity.Types.Model.Channel.Embed Methods parseJSON :: Value -> Parser EmbedAuthor # parseJSONList :: Value -> Parser [EmbedAuthor] #
TextShow EmbedAuthor Source #
Instance details Defined in Calamity.Types.Model.Channel.Embed Methods showbPrec :: Int -> EmbedAuthor -> Builder # showb :: EmbedAuthor -> Builder # showbList :: [EmbedAuthor] -> Builder # showtPrec :: Int -> EmbedAuthor -> Text # showt :: EmbedAuthor -> Text # showtList :: [EmbedAuthor] -> Text # showtlPrec :: Int -> EmbedAuthor -> Text # showtl :: EmbedAuthor -> Text # showtlList :: [EmbedAuthor] -> Text #
type Rep EmbedAuthor Source #
Instance details Defined in Calamity.Types.Model.Channel.Embed type Rep EmbedAuthor = D1 ('MetaData "EmbedAuthor" "Calamity.Types.Model.Channel.Embed" "calamity-0.1.3.1-inplace" 'False) (C1 ('MetaCons "EmbedAuthor" 'PrefixI 'True) ((S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :: S1 ('MetaSel ('Just "url") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text))) :: (S1 ('MetaSel ('Just "iconUrl") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "proxyIconURL") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)))))

data EmbedField Source #

Constructors

EmbedField
Fields name :: Text value :: Text inline :: Bool

Instances

Instances details

Eq EmbedField Source #
Instance details Defined in Calamity.Types.Model.Channel.Embed Methods (==) :: EmbedField -> EmbedField -> Bool # (/=) :: EmbedField -> EmbedField -> Bool #
Show EmbedField Source #
Instance details Defined in Calamity.Types.Model.Channel.Embed Methods showsPrec :: Int -> EmbedField -> ShowS # show :: EmbedField -> String # showList :: [EmbedField] -> ShowS #
Generic EmbedField Source #
Instance details Defined in Calamity.Types.Model.Channel.Embed Associated Types type Rep EmbedField :: Type -> Type # Methods from :: EmbedField -> Rep EmbedField x # to :: Rep EmbedField x -> EmbedField #
ToJSON EmbedField Source #
Instance details Defined in Calamity.Types.Model.Channel.Embed Methods toJSON :: EmbedField -> Value # toEncoding :: EmbedField -> Encoding # toJSONList :: [EmbedField] -> Value # toEncodingList :: [EmbedField] -> Encoding #
FromJSON EmbedField Source #
Instance details Defined in Calamity.Types.Model.Channel.Embed Methods parseJSON :: Value -> Parser EmbedField # parseJSONList :: Value -> Parser [EmbedField] #
TextShow EmbedField Source #
Instance details Defined in Calamity.Types.Model.Channel.Embed Methods showbPrec :: Int -> EmbedField -> Builder # showb :: EmbedField -> Builder # showbList :: [EmbedField] -> Builder # showtPrec :: Int -> EmbedField -> Text # showt :: EmbedField -> Text # showtList :: [EmbedField] -> Text # showtlPrec :: Int -> EmbedField -> Text # showtl :: EmbedField -> Text # showtlList :: [EmbedField] -> Text #
type Rep EmbedField Source #
Instance details Defined in Calamity.Types.Model.Channel.Embed type Rep EmbedField = D1 ('MetaData "EmbedField" "Calamity.Types.Model.Channel.Embed" "calamity-0.1.3.1-inplace" 'False) (C1 ('MetaCons "EmbedField" 'PrefixI 'True) (S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: (S1 ('MetaSel ('Just "value") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: S1 ('MetaSel ('Just "inline") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))))