Safe Haskell	None
Language	Haskell2010

Symantic.Atom

Contents

Orphan instances

Synopsis

format :: (TextConstraint repr Text, TextConstraint repr URI, TextConstraint repr Email, TextConstraint repr LanguageTag, TextConstraint repr RelName, TextConstraint repr MediaType, TextConstraint repr DateTime, Repeatable repr, Dicurryable repr, RelaxNG repr, Dimapable repr, Dimapable (Permutation repr), Optionable repr, Emptyable repr, Tupable (Permutation repr), Definable (Permutation repr)) => repr (Either Feed Entry -> c) c
start :: (TextConstraint repr Text, TextConstraint repr URI, TextConstraint repr Email, TextConstraint repr LanguageTag, TextConstraint repr RelName, TextConstraint repr MediaType, TextConstraint repr DateTime, Repeatable repr, Dicurryable repr, RelaxNG repr, Dimapable repr, Dimapable (Permutation repr), Optionable repr, Emptyable repr, Tupable (Permutation repr), Definable (Permutation repr)) => repr (Either Feed Entry -> k) k
elem :: XML repr => NCName -> repr a k -> repr a k
attr :: XML repr => NCName -> repr a k -> repr a k
xmlns_atom :: IsString p => p
xmlns_xhtml :: IsString p => p
xmlns_local :: IsString p => p
data Common = Common {
- base :: Maybe URI
- lang :: Maybe LanguageTag
- undefs :: [(QName, Text)]
}
common :: (TextConstraint repr URI, TextConstraint repr LanguageTag, TextConstraint repr Text, Dimapable (Permutation repr), Dimapable repr, Definable (Permutation repr), Repeatable repr, Dicurryable repr, RelaxNG repr, Tupable (Permutation repr)) => Permutation repr (Common -> k) k
undefinedAttribute :: (TextConstraint repr a, Dicurryable repr, RelaxNG repr) => repr ((QName, a) -> k) k
newtype URI = URI Text
uri :: (TextConstraint repr URI, Definable repr, Textable repr) => repr (URI -> k) k
newtype LanguageTag = LanguageTag Text
languageTag :: (TextConstraint repr LanguageTag, Definable repr, Textable repr) => repr (LanguageTag -> k) k
data Text
- = Text_Html {
  - text_common :: Common
  - text_content :: Text
  }
- | Text_Text {
  - text_common :: Common
  - text_content :: Text
  }
- | Text_Xhtml {
  - text_common :: Common
  - text_content :: Text
  }
textConstruct :: (TextConstraint repr URI, TextConstraint repr LanguageTag, TextConstraint repr Text, Dimapable repr, Dimapable (Permutation repr), Definable (Permutation repr), Repeatable repr, Dicurryable repr, RelaxNG repr, Tupable (Permutation repr), Optionable repr) => repr (Text -> k) k
data Person = Person {
- person_name :: Text
- person_uri :: Maybe URI
- person_email :: Maybe Email
- person_extension :: [Extension]
- person_common :: Common
}
person :: (TextConstraint repr Text, TextConstraint repr URI, TextConstraint repr Email, TextConstraint repr LanguageTag, Repeatable repr, Dicurryable repr, RelaxNG repr, Dimapable repr, Dimapable (Permutation repr), Definable (Permutation repr), Tupable (Permutation repr)) => repr (Person -> k) k
newtype Email = Email Text
emailAddress :: (TextConstraint repr Email, Definable repr, Textable repr) => repr (Email -> k) k
type DateTime = UTCTime
dateConstruct :: (TextConstraint repr URI, TextConstraint repr LanguageTag, TextConstraint repr Text, TextConstraint repr DateTime, Dimapable (Permutation repr), Dimapable repr, Definable (Permutation repr), Repeatable repr, Dicurryable repr, RelaxNG repr, Tupable (Permutation repr)) => repr ((Common, DateTime) -> k) k
data Feed = Feed {
- feed_authors :: [Person]
- feed_categories :: [Category]
- feed_contributors :: [Person]
- feed_generator :: Maybe Generator
- feed_icon :: Maybe (Common, URI)
- feed_id :: (Common, URI)
- feed_links :: [Link]
- feed_logo :: Maybe (Common, URI)
- feed_rights :: Maybe Text
- feed_subtitle :: Maybe Text
- feed_title :: Text
- feed_updated :: (Common, DateTime)
- feed_extensions :: [Extension]
- feed_entries :: [Entry]
- feed_common :: Common
}
feed :: (TextConstraint repr Text, TextConstraint repr URI, TextConstraint repr Email, TextConstraint repr LanguageTag, TextConstraint repr RelName, TextConstraint repr MediaType, TextConstraint repr DateTime, Repeatable repr, Dicurryable repr, RelaxNG repr, Dimapable repr, Dimapable (Permutation repr), Definable (Permutation repr), Optionable repr, Emptyable repr, Tupable (Permutation repr)) => repr (Feed -> k) k
author :: (TextConstraint repr Text, TextConstraint repr URI, TextConstraint repr Email, TextConstraint repr LanguageTag, Repeatable repr, Dicurryable repr, RelaxNG repr, Dimapable repr, Dimapable (Permutation repr), Definable (Permutation repr), Tupable (Permutation repr)) => repr (Person -> k) k
data Category = Category {
- category_term :: Text
- category_scheme :: Maybe URI
- category_label :: Maybe Text
- category_extensions :: [Extension]
- category_common :: Common
}
category :: (TextConstraint repr Text, TextConstraint repr URI, TextConstraint repr LanguageTag, Repeatable repr, Dicurryable repr, RelaxNG repr, Dimapable repr, Dimapable (Permutation repr), Definable (Permutation repr), Tupable (Permutation repr)) => repr (Category -> k) k
contributor :: (TextConstraint repr Text, TextConstraint repr URI, TextConstraint repr Email, TextConstraint repr LanguageTag, Repeatable repr, Dicurryable repr, RelaxNG repr, Dimapable repr, Dimapable (Permutation repr), Definable (Permutation repr), Tupable (Permutation repr)) => repr (Person -> k) k
data Generator = Generator {
- generator_uri :: Maybe URI
- generator_version :: Maybe Text
- generator_common :: Common
- generator_text :: Text
}
generator :: (TextConstraint repr URI, TextConstraint repr Text, TextConstraint repr LanguageTag, Dimapable repr, Dimapable (Permutation repr), Definable (Permutation repr), Repeatable repr, Dicurryable repr, RelaxNG repr, Tupable (Permutation repr)) => repr (Generator -> k) k
icon :: (TextConstraint repr URI, TextConstraint repr LanguageTag, TextConstraint repr Text, Dimapable (Permutation repr), Dimapable repr, Definable (Permutation repr), Repeatable repr, Dicurryable repr, RelaxNG repr, Tupable (Permutation repr)) => repr ((Common, URI) -> k) k
id :: (TextConstraint repr URI, TextConstraint repr LanguageTag, TextConstraint repr Text, Dimapable (Permutation repr), Dimapable repr, Definable (Permutation repr), Repeatable repr, Dicurryable repr, RelaxNG repr, Tupable (Permutation repr)) => repr ((Common, URI) -> k) k
data Link = Link {
- link_href :: URI
- link_rel :: Maybe (Either RelName URI)
- link_type :: Maybe MediaType
- link_hreflang :: Maybe LanguageTag
- link_title :: Maybe Text
- link_length :: Maybe Text
- link_extension :: [Extension]
- link_common :: Common
}
link :: (TextConstraint repr URI, TextConstraint repr RelName, TextConstraint repr MediaType, TextConstraint repr LanguageTag, TextConstraint repr Text, Repeatable repr, Dicurryable repr, RelaxNG repr, Dimapable repr, Dimapable (Permutation repr), Definable (Permutation repr), Tupable (Permutation repr)) => repr (Link -> k) k
newtype RelName = RelName Text
relName :: (TextConstraint repr RelName, Definable repr, Textable repr) => repr (RelName -> k) k
newtype MediaType = MediaType Text
mediaType :: (TextConstraint repr MediaType, Definable repr, Textable repr) => repr (MediaType -> k) k
logo :: (TextConstraint repr URI, TextConstraint repr LanguageTag, TextConstraint repr Text, Dimapable (Permutation repr), Dimapable repr, Definable (Permutation repr), Repeatable repr, Dicurryable repr, RelaxNG repr, Tupable (Permutation repr)) => repr ((Common, URI) -> k) k
rights :: (TextConstraint repr URI, TextConstraint repr LanguageTag, TextConstraint repr Text, Dimapable repr, Dimapable (Permutation repr), Repeatable repr, Dicurryable repr, RelaxNG repr, Optionable repr, Tupable (Permutation repr), Definable (Permutation repr)) => repr (Text -> k) k
subtitle :: (TextConstraint repr URI, TextConstraint repr LanguageTag, TextConstraint repr Text, Dimapable repr, Dimapable (Permutation repr), Repeatable repr, Dicurryable repr, RelaxNG repr, Optionable repr, Tupable (Permutation repr), Definable (Permutation repr)) => repr (Text -> k) k
title :: (TextConstraint repr URI, TextConstraint repr LanguageTag, TextConstraint repr Text, Dimapable repr, Dimapable (Permutation repr), Repeatable repr, Dicurryable repr, RelaxNG repr, Optionable repr, Tupable (Permutation repr), Definable (Permutation repr)) => repr (Text -> k) k
updated :: (TextConstraint repr URI, TextConstraint repr LanguageTag, TextConstraint repr Text, TextConstraint repr DateTime, Dimapable (Permutation repr), Dimapable repr, Repeatable repr, Dicurryable repr, RelaxNG repr, Tupable (Permutation repr), Definable (Permutation repr)) => repr ((Common, DateTime) -> k) k
data Entry = Entry {
- entry_authors :: [Person]
- entry_categories :: [Category]
- entry_content :: Maybe (Common, Content)
- entry_contributors :: [Person]
- entry_id :: (Common, URI)
- entry_links :: [Link]
- entry_published :: Maybe (Common, DateTime)
- entry_rights :: Maybe Text
- entry_source :: Maybe Source
- entry_summary :: Maybe Text
- entry_title :: Text
- entry_updated :: (Common, DateTime)
- entry_extensions :: [Extension]
- entry_common :: Common
}
entry :: (TextConstraint repr Text, TextConstraint repr URI, TextConstraint repr Email, TextConstraint repr LanguageTag, TextConstraint repr MediaType, TextConstraint repr RelName, TextConstraint repr DateTime, Repeatable repr, Dicurryable repr, RelaxNG repr, Dimapable repr, Dimapable (Permutation repr), Definable (Permutation repr), Optionable repr, Emptyable repr, Tupable (Permutation repr)) => repr (Entry -> k) k
data Content
- = Content_Text Text
- | Content_Html Text
- | Content_Xhtml XHTML
- | Content_Src (Maybe MediaType) URI
- | Content_Any (Maybe MediaType) (Either Text Any)
content :: (TextConstraint repr URI, TextConstraint repr LanguageTag, TextConstraint repr Text, TextConstraint repr MediaType, Dimapable (Permutation repr), Dimapable repr, Definable (Permutation repr), Repeatable repr, Dicurryable repr, RelaxNG repr, Tupable (Permutation repr), Optionable repr, Emptyable repr) => repr ((Common, Content) -> k) k
published :: (TextConstraint repr URI, TextConstraint repr LanguageTag, TextConstraint repr Text, TextConstraint repr DateTime, Dimapable (Permutation repr), Dimapable repr, Repeatable repr, Dicurryable repr, RelaxNG repr, Tupable (Permutation repr), Definable (Permutation repr)) => repr ((Common, DateTime) -> k) k
summary :: (TextConstraint repr URI, TextConstraint repr LanguageTag, TextConstraint repr Text, Dimapable repr, Dimapable (Permutation repr), Repeatable repr, Dicurryable repr, RelaxNG repr, Optionable repr, Tupable (Permutation repr), Definable (Permutation repr)) => repr (Text -> k) k
data Source = Source {
- source_authors :: [Person]
- source_categories :: [Category]
- source_contributors :: [Person]
- source_generator :: Maybe Generator
- source_icon :: Maybe (Common, URI)
- source_id :: Maybe (Common, URI)
- source_links :: [Link]
- source_logo :: Maybe (Common, URI)
- source_rights :: Maybe Text
- source_subtitle :: Maybe Text
- source_title :: Maybe Text
- source_updated :: Maybe (Common, DateTime)
- source_extensions :: [Extension]
- source_common :: Common
}
source :: (TextConstraint repr Text, TextConstraint repr URI, TextConstraint repr Email, TextConstraint repr LanguageTag, TextConstraint repr RelName, TextConstraint repr MediaType, TextConstraint repr DateTime, Repeatable repr, Dicurryable repr, RelaxNG repr, Dimapable repr, Dimapable (Permutation repr), Definable (Permutation repr), Optionable repr, Tupable (Permutation repr)) => repr (Source -> k) k
type Extension = (QName, ([(QName, Text)], Forest AnyNode))
extension :: (TextConstraint repr a, TextConstraint repr Text, Dicurryable repr, RelaxNG repr, Repeatable repr, Dimapable repr) => repr ((QName, ([(QName, a)], [Tree AnyNode])) -> k) k
type Any = Tree AnyNode
data AnyNode
- = AnyNode_Elem QName [(QName, Text)]
- | AnyNode_Text Text
anyNode :: (TextConstraint repr Text, Dimapable repr, Dicurryable repr, RelaxNG repr, Repeatable repr) => repr (Tree AnyNode -> k) k
type XHTML = Tree XHTMLNode
data XHTMLNode
- = XHTMLNode_Elem QName [(QName, Text)]
- | XHTMLNode_Text Text
xhtmlNode :: (TextConstraint repr Text, Dimapable repr, Dicurryable repr, RelaxNG repr, Repeatable repr) => repr (Tree XHTMLNode -> k) k
divXHTML :: (TextConstraint repr Text, Dimapable repr, Repeatable repr, Dicurryable repr, RelaxNG repr) => repr (Tree XHTMLNode -> k) k

Documentation

format :: (TextConstraint repr Text, TextConstraint repr URI, TextConstraint repr Email, TextConstraint repr LanguageTag, TextConstraint repr RelName, TextConstraint repr MediaType, TextConstraint repr DateTime, Repeatable repr, Dicurryable repr, RelaxNG repr, Dimapable repr, Dimapable (Permutation repr), Optionable repr, Emptyable repr, Tupable (Permutation repr), Definable (Permutation repr)) => repr (Either Feed Entry -> c) c Source #

Main symantic to be used.

start :: (TextConstraint repr Text, TextConstraint repr URI, TextConstraint repr Email, TextConstraint repr LanguageTag, TextConstraint repr RelName, TextConstraint repr MediaType, TextConstraint repr DateTime, Repeatable repr, Dicurryable repr, RelaxNG repr, Dimapable repr, Dimapable (Permutation repr), Optionable repr, Emptyable repr, Tupable (Permutation repr), Definable (Permutation repr)) => repr (Either Feed Entry -> k) k Source #

elem :: XML repr => NCName -> repr a k -> repr a k Source #

attr :: XML repr => NCName -> repr a k -> repr a k Source #

xmlns_atom :: IsString p => p Source #

xmlns_xhtml :: IsString p => p Source #

xmlns_local :: IsString p => p Source #

data Common Source #

Constructors

Common
Fields base :: Maybe URI lang :: Maybe LanguageTag undefs :: [(QName, Text)]

Instances

Show Common Source #
Instance details Defined in Symantic.Atom Methods showsPrec :: Int -> Common -> ShowS # show :: Common -> String # showList :: [Common] -> ShowS #
Generic Common Source #
Instance details Defined in Symantic.Atom Associated Types type Rep Common :: Type -> Type # Methods from :: Common -> Rep Common x # to :: Rep Common x -> Common #
type Rep Common Source #
Instance details Defined in Symantic.Atom type Rep Common = D1 (MetaData "Common" "Symantic.Atom" "symantic-atom-0.0.0.20200523-AFusufvAoxi4vgv6idcEnU" False) (C1 (MetaCons "Common" PrefixI True) (S1 (MetaSel (Just "base") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Maybe URI)) :: (S1 (MetaSel (Just "lang") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Maybe LanguageTag)) :: S1 (MetaSel (Just "undefs") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 [(QName, Text)]))))

common :: (TextConstraint repr URI, TextConstraint repr LanguageTag, TextConstraint repr Text, Dimapable (Permutation repr), Dimapable repr, Definable (Permutation repr), Repeatable repr, Dicurryable repr, RelaxNG repr, Tupable (Permutation repr)) => Permutation repr (Common -> k) k Source #

undefinedAttribute :: (TextConstraint repr a, Dicurryable repr, RelaxNG repr) => repr ((QName, a) -> k) k Source #

newtype URI Source #

Constructors

URI Text

Instances

Eq URI Source #
Instance details Defined in Symantic.Atom Methods (==) :: URI -> URI -> Bool # (/=) :: URI -> URI -> Bool #
Show URI Source #
Instance details Defined in Symantic.Atom Methods showsPrec :: Int -> URI -> ShowS # show :: URI -> String # showList :: [URI] -> ShowS #
DecodeText URI Source #
Instance details Defined in Symantic.Atom Methods decodeText :: Parsec Void Text URI #
RNCText URI Source #
Instance details Defined in Symantic.Atom Methods rncText_qname :: QName # rncText_params :: Map Text Text #

uri :: (TextConstraint repr URI, Definable repr, Textable repr) => repr (URI -> k) k Source #

newtype LanguageTag Source #

Constructors

LanguageTag Text

Instances

Eq LanguageTag Source #
Instance details Defined in Symantic.Atom Methods (==) :: LanguageTag -> LanguageTag -> Bool # (/=) :: LanguageTag -> LanguageTag -> Bool #
Show LanguageTag Source #
Instance details Defined in Symantic.Atom Methods showsPrec :: Int -> LanguageTag -> ShowS # show :: LanguageTag -> String # showList :: [LanguageTag] -> ShowS #
DecodeText LanguageTag Source #
Instance details Defined in Symantic.Atom Methods decodeText :: Parsec Void Text LanguageTag #
RNCText LanguageTag Source #
Instance details Defined in Symantic.Atom Methods rncText_qname :: QName # rncText_params :: Map Text Text #

languageTag :: (TextConstraint repr LanguageTag, Definable repr, Textable repr) => repr (LanguageTag -> k) k Source #

data Text Source #

Constructors

Text_Html
Fields text_common :: Common text_content :: Text
Text_Text
Fields text_common :: Common text_content :: Text
Text_Xhtml
Fields text_common :: Common text_content :: Text

Instances

Show Text Source #
Instance details Defined in Symantic.Atom Methods showsPrec :: Int -> Text -> ShowS # show :: Text -> String # showList :: [Text] -> ShowS #
Generic Text Source #
Instance details Defined in Symantic.Atom Associated Types type Rep Text :: Type -> Type # Methods from :: Text -> Rep Text x # to :: Rep Text x -> Text #
type Rep Text Source #
Instance details Defined in Symantic.Atom type Rep Text = D1 (MetaData "Text" "Symantic.Atom" "symantic-atom-0.0.0.20200523-AFusufvAoxi4vgv6idcEnU" False) (C1 (MetaCons "Text_Html" PrefixI True) (S1 (MetaSel (Just "text_common") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Common) :: S1 (MetaSel (Just "text_content") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Text)) :+: (C1 (MetaCons "Text_Text" PrefixI True) (S1 (MetaSel (Just "text_common") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Common) :: S1 (MetaSel (Just "text_content") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Text)) :+: C1 (MetaCons "Text_Xhtml" PrefixI True) (S1 (MetaSel (Just "text_common") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Common) :*: S1 (MetaSel (Just "text_content") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Text))))

textConstruct :: (TextConstraint repr URI, TextConstraint repr LanguageTag, TextConstraint repr Text, Dimapable repr, Dimapable (Permutation repr), Definable (Permutation repr), Repeatable repr, Dicurryable repr, RelaxNG repr, Tupable (Permutation repr), Optionable repr) => repr (Text -> k) k Source #

data Person Source #

Constructors

Person
Fields person_name :: Text person_uri :: Maybe URI person_email :: Maybe Email person_extension :: [Extension] person_common :: Common

Instances

Show Person Source #
Instance details Defined in Symantic.Atom Methods showsPrec :: Int -> Person -> ShowS # show :: Person -> String # showList :: [Person] -> ShowS #
Generic Person Source #
Instance details Defined in Symantic.Atom Associated Types type Rep Person :: Type -> Type # Methods from :: Person -> Rep Person x # to :: Rep Person x -> Person #
type Rep Person Source #
Instance details Defined in Symantic.Atom type Rep Person = D1 (MetaData "Person" "Symantic.Atom" "symantic-atom-0.0.0.20200523-AFusufvAoxi4vgv6idcEnU" False) (C1 (MetaCons "Person" PrefixI True) ((S1 (MetaSel (Just "person_name") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Text) :: S1 (MetaSel (Just "person_uri") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Maybe URI))) :: (S1 (MetaSel (Just "person_email") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Maybe Email)) :: (S1 (MetaSel (Just "person_extension") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 [Extension]) :: S1 (MetaSel (Just "person_common") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Common)))))

person :: (TextConstraint repr Text, TextConstraint repr URI, TextConstraint repr Email, TextConstraint repr LanguageTag, Repeatable repr, Dicurryable repr, RelaxNG repr, Dimapable repr, Dimapable (Permutation repr), Definable (Permutation repr), Tupable (Permutation repr)) => repr (Person -> k) k Source #

newtype Email Source #

Constructors

Email Text

Instances

Eq Email Source #
Instance details Defined in Symantic.Atom Methods (==) :: Email -> Email -> Bool # (/=) :: Email -> Email -> Bool #
Ord Email Source #
Instance details Defined in Symantic.Atom Methods compare :: Email -> Email -> Ordering # (<) :: Email -> Email -> Bool # (<=) :: Email -> Email -> Bool # (>) :: Email -> Email -> Bool # (>=) :: Email -> Email -> Bool # max :: Email -> Email -> Email # min :: Email -> Email -> Email #
Show Email Source #
Instance details Defined in Symantic.Atom Methods showsPrec :: Int -> Email -> ShowS # show :: Email -> String # showList :: [Email] -> ShowS #
DecodeText Email Source #
Instance details Defined in Symantic.Atom Methods decodeText :: Parsec Void Text Email #
RNCText Email Source #
Instance details Defined in Symantic.Atom Methods rncText_qname :: QName # rncText_params :: Map Text Text #

emailAddress :: (TextConstraint repr Email, Definable repr, Textable repr) => repr (Email -> k) k Source #

type DateTime = UTCTime Source #

dateConstruct :: (TextConstraint repr URI, TextConstraint repr LanguageTag, TextConstraint repr Text, TextConstraint repr DateTime, Dimapable (Permutation repr), Dimapable repr, Definable (Permutation repr), Repeatable repr, Dicurryable repr, RelaxNG repr, Tupable (Permutation repr)) => repr ((Common, DateTime) -> k) k Source #

data Feed Source #

Constructors

Feed

Fields

Instances

Show Feed Source #
Instance details Defined in Symantic.Atom Methods showsPrec :: Int -> Feed -> ShowS # show :: Feed -> String # showList :: [Feed] -> ShowS #
Generic Feed Source #
Instance details Defined in Symantic.Atom Associated Types type Rep Feed :: Type -> Type # Methods from :: Feed -> Rep Feed x # to :: Rep Feed x -> Feed #
type Rep Feed Source #
Instance details Defined in Symantic.Atom type Rep Feed = D1 (MetaData "Feed" "Symantic.Atom" "symantic-atom-0.0.0.20200523-AFusufvAoxi4vgv6idcEnU" False) (C1 (MetaCons "Feed" PrefixI True) (((S1 (MetaSel (Just "feed_authors") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 [Person]) :: (S1 (MetaSel (Just "feed_categories") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 [Category]) :: S1 (MetaSel (Just "feed_contributors") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 [Person]))) :: ((S1 (MetaSel (Just "feed_generator") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Maybe Generator)) :: S1 (MetaSel (Just "feed_icon") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Maybe (Common, URI)))) :: (S1 (MetaSel (Just "feed_id") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Common, URI)) :: S1 (MetaSel (Just "feed_links") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 [Link])))) :: (((S1 (MetaSel (Just "feed_logo") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Maybe (Common, URI))) :: S1 (MetaSel (Just "feed_rights") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Maybe Text))) :: (S1 (MetaSel (Just "feed_subtitle") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Maybe Text)) :: S1 (MetaSel (Just "feed_title") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Text))) :: ((S1 (MetaSel (Just "feed_updated") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Common, DateTime)) :: S1 (MetaSel (Just "feed_extensions") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 [Extension])) :: (S1 (MetaSel (Just "feed_entries") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 [Entry]) :: S1 (MetaSel (Just "feed_common") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Common))))))

feed :: (TextConstraint repr Text, TextConstraint repr URI, TextConstraint repr Email, TextConstraint repr LanguageTag, TextConstraint repr RelName, TextConstraint repr MediaType, TextConstraint repr DateTime, Repeatable repr, Dicurryable repr, RelaxNG repr, Dimapable repr, Dimapable (Permutation repr), Definable (Permutation repr), Optionable repr, Emptyable repr, Tupable (Permutation repr)) => repr (Feed -> k) k Source #

author :: (TextConstraint repr Text, TextConstraint repr URI, TextConstraint repr Email, TextConstraint repr LanguageTag, Repeatable repr, Dicurryable repr, RelaxNG repr, Dimapable repr, Dimapable (Permutation repr), Definable (Permutation repr), Tupable (Permutation repr)) => repr (Person -> k) k Source #

data Category Source #

Constructors

Category
Fields category_term :: Text category_scheme :: Maybe URI category_label :: Maybe Text category_extensions :: [Extension] category_common :: Common

Instances

Show Category Source #
Instance details Defined in Symantic.Atom Methods showsPrec :: Int -> Category -> ShowS # show :: Category -> String # showList :: [Category] -> ShowS #
Generic Category Source #
Instance details Defined in Symantic.Atom Associated Types type Rep Category :: Type -> Type # Methods from :: Category -> Rep Category x # to :: Rep Category x -> Category #
type Rep Category Source #
Instance details Defined in Symantic.Atom type Rep Category = D1 (MetaData "Category" "Symantic.Atom" "symantic-atom-0.0.0.20200523-AFusufvAoxi4vgv6idcEnU" False) (C1 (MetaCons "Category" PrefixI True) ((S1 (MetaSel (Just "category_term") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Text) :: S1 (MetaSel (Just "category_scheme") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Maybe URI))) :: (S1 (MetaSel (Just "category_label") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Maybe Text)) :: (S1 (MetaSel (Just "category_extensions") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 [Extension]) :: S1 (MetaSel (Just "category_common") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Common)))))

category :: (TextConstraint repr Text, TextConstraint repr URI, TextConstraint repr LanguageTag, Repeatable repr, Dicurryable repr, RelaxNG repr, Dimapable repr, Dimapable (Permutation repr), Definable (Permutation repr), Tupable (Permutation repr)) => repr (Category -> k) k Source #

contributor :: (TextConstraint repr Text, TextConstraint repr URI, TextConstraint repr Email, TextConstraint repr LanguageTag, Repeatable repr, Dicurryable repr, RelaxNG repr, Dimapable repr, Dimapable (Permutation repr), Definable (Permutation repr), Tupable (Permutation repr)) => repr (Person -> k) k Source #

data Generator Source #

Constructors

Generator
Fields generator_uri :: Maybe URI generator_version :: Maybe Text generator_common :: Common generator_text :: Text

Instances

Show Generator Source #
Instance details Defined in Symantic.Atom Methods showsPrec :: Int -> Generator -> ShowS # show :: Generator -> String # showList :: [Generator] -> ShowS #
Generic Generator Source #
Instance details Defined in Symantic.Atom Associated Types type Rep Generator :: Type -> Type # Methods from :: Generator -> Rep Generator x # to :: Rep Generator x -> Generator #
type Rep Generator Source #
Instance details Defined in Symantic.Atom type Rep Generator = D1 (MetaData "Generator" "Symantic.Atom" "symantic-atom-0.0.0.20200523-AFusufvAoxi4vgv6idcEnU" False) (C1 (MetaCons "Generator" PrefixI True) ((S1 (MetaSel (Just "generator_uri") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Maybe URI)) :: S1 (MetaSel (Just "generator_version") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Maybe Text))) :: (S1 (MetaSel (Just "generator_common") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Common) :*: S1 (MetaSel (Just "generator_text") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Text))))

generator :: (TextConstraint repr URI, TextConstraint repr Text, TextConstraint repr LanguageTag, Dimapable repr, Dimapable (Permutation repr), Definable (Permutation repr), Repeatable repr, Dicurryable repr, RelaxNG repr, Tupable (Permutation repr)) => repr (Generator -> k) k Source #

icon :: (TextConstraint repr URI, TextConstraint repr LanguageTag, TextConstraint repr Text, Dimapable (Permutation repr), Dimapable repr, Definable (Permutation repr), Repeatable repr, Dicurryable repr, RelaxNG repr, Tupable (Permutation repr)) => repr ((Common, URI) -> k) k Source #

id :: (TextConstraint repr URI, TextConstraint repr LanguageTag, TextConstraint repr Text, Dimapable (Permutation repr), Dimapable repr, Definable (Permutation repr), Repeatable repr, Dicurryable repr, RelaxNG repr, Tupable (Permutation repr)) => repr ((Common, URI) -> k) k Source #

data Link Source #

Constructors

Link
Fields link_href :: URI link_rel :: Maybe (Either RelName URI) link_type :: Maybe MediaType link_hreflang :: Maybe LanguageTag link_title :: Maybe Text link_length :: Maybe Text link_extension :: [Extension] link_common :: Common

Instances

Show Link Source #
Instance details Defined in Symantic.Atom Methods showsPrec :: Int -> Link -> ShowS # show :: Link -> String # showList :: [Link] -> ShowS #
Generic Link Source #
Instance details Defined in Symantic.Atom Associated Types type Rep Link :: Type -> Type # Methods from :: Link -> Rep Link x # to :: Rep Link x -> Link #
type Rep Link Source #
Instance details Defined in Symantic.Atom type Rep Link = D1 (MetaData "Link" "Symantic.Atom" "symantic-atom-0.0.0.20200523-AFusufvAoxi4vgv6idcEnU" False) (C1 (MetaCons "Link" PrefixI True) (((S1 (MetaSel (Just "link_href") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 URI) :: S1 (MetaSel (Just "link_rel") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Maybe (Either RelName URI)))) :: (S1 (MetaSel (Just "link_type") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Maybe MediaType)) :: S1 (MetaSel (Just "link_hreflang") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Maybe LanguageTag)))) :: ((S1 (MetaSel (Just "link_title") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Maybe Text)) :: S1 (MetaSel (Just "link_length") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Maybe Text))) :: (S1 (MetaSel (Just "link_extension") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 [Extension]) :*: S1 (MetaSel (Just "link_common") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Common)))))

link :: (TextConstraint repr URI, TextConstraint repr RelName, TextConstraint repr MediaType, TextConstraint repr LanguageTag, TextConstraint repr Text, Repeatable repr, Dicurryable repr, RelaxNG repr, Dimapable repr, Dimapable (Permutation repr), Definable (Permutation repr), Tupable (Permutation repr)) => repr (Link -> k) k Source #

newtype RelName Source #

Constructors

RelName Text

Instances

Eq RelName Source #
Instance details Defined in Symantic.Atom Methods (==) :: RelName -> RelName -> Bool # (/=) :: RelName -> RelName -> Bool #
Show RelName Source #
Instance details Defined in Symantic.Atom Methods showsPrec :: Int -> RelName -> ShowS # show :: RelName -> String # showList :: [RelName] -> ShowS #
DecodeText RelName Source #
Instance details Defined in Symantic.Atom Methods decodeText :: Parsec Void Text RelName #
RNCText RelName Source #
Instance details Defined in Symantic.Atom Methods rncText_qname :: QName # rncText_params :: Map Text Text #

relName :: (TextConstraint repr RelName, Definable repr, Textable repr) => repr (RelName -> k) k Source #

newtype MediaType Source #

Constructors

MediaType Text

Instances

Eq MediaType Source #
Instance details Defined in Symantic.Atom Methods (==) :: MediaType -> MediaType -> Bool # (/=) :: MediaType -> MediaType -> Bool #
Show MediaType Source #
Instance details Defined in Symantic.Atom Methods showsPrec :: Int -> MediaType -> ShowS # show :: MediaType -> String # showList :: [MediaType] -> ShowS #
DecodeText MediaType Source #
Instance details Defined in Symantic.Atom Methods decodeText :: Parsec Void Text MediaType #
RNCText MediaType Source #
Instance details Defined in Symantic.Atom Methods rncText_qname :: QName # rncText_params :: Map Text Text #

mediaType :: (TextConstraint repr MediaType, Definable repr, Textable repr) => repr (MediaType -> k) k Source #

logo :: (TextConstraint repr URI, TextConstraint repr LanguageTag, TextConstraint repr Text, Dimapable (Permutation repr), Dimapable repr, Definable (Permutation repr), Repeatable repr, Dicurryable repr, RelaxNG repr, Tupable (Permutation repr)) => repr ((Common, URI) -> k) k Source #

rights :: (TextConstraint repr URI, TextConstraint repr LanguageTag, TextConstraint repr Text, Dimapable repr, Dimapable (Permutation repr), Repeatable repr, Dicurryable repr, RelaxNG repr, Optionable repr, Tupable (Permutation repr), Definable (Permutation repr)) => repr (Text -> k) k Source #

subtitle :: (TextConstraint repr URI, TextConstraint repr LanguageTag, TextConstraint repr Text, Dimapable repr, Dimapable (Permutation repr), Repeatable repr, Dicurryable repr, RelaxNG repr, Optionable repr, Tupable (Permutation repr), Definable (Permutation repr)) => repr (Text -> k) k Source #

title :: (TextConstraint repr URI, TextConstraint repr LanguageTag, TextConstraint repr Text, Dimapable repr, Dimapable (Permutation repr), Repeatable repr, Dicurryable repr, RelaxNG repr, Optionable repr, Tupable (Permutation repr), Definable (Permutation repr)) => repr (Text -> k) k Source #

updated :: (TextConstraint repr URI, TextConstraint repr LanguageTag, TextConstraint repr Text, TextConstraint repr DateTime, Dimapable (Permutation repr), Dimapable repr, Repeatable repr, Dicurryable repr, RelaxNG repr, Tupable (Permutation repr), Definable (Permutation repr)) => repr ((Common, DateTime) -> k) k Source #

data Entry Source #

Constructors

Entry

Fields

entry_authors :: [Person]
entry_categories :: [Category]
entry_content :: Maybe (Common, Content)
entry_contributors :: [Person]
entry_id :: (Common, URI)
entry_links :: [Link]
entry_published :: Maybe (Common, DateTime)
entry_rights :: Maybe Text
entry_source :: Maybe Source
entry_summary :: Maybe Text
entry_title :: Text
entry_updated :: (Common, DateTime)
entry_extensions :: [Extension]
entry_common :: Common

Instances

Show Entry Source #
Instance details Defined in Symantic.Atom Methods showsPrec :: Int -> Entry -> ShowS # show :: Entry -> String # showList :: [Entry] -> ShowS #
Generic Entry Source #
Instance details Defined in Symantic.Atom Associated Types type Rep Entry :: Type -> Type # Methods from :: Entry -> Rep Entry x # to :: Rep Entry x -> Entry #
type Rep Entry Source #
Instance details Defined in Symantic.Atom type Rep Entry = D1 (MetaData "Entry" "Symantic.Atom" "symantic-atom-0.0.0.20200523-AFusufvAoxi4vgv6idcEnU" False) (C1 (MetaCons "Entry" PrefixI True) (((S1 (MetaSel (Just "entry_authors") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 [Person]) :: (S1 (MetaSel (Just "entry_categories") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 [Category]) :: S1 (MetaSel (Just "entry_content") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Maybe (Common, Content))))) :: ((S1 (MetaSel (Just "entry_contributors") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 [Person]) :: S1 (MetaSel (Just "entry_id") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Common, URI))) :: (S1 (MetaSel (Just "entry_links") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 [Link]) :: S1 (MetaSel (Just "entry_published") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Maybe (Common, DateTime)))))) :: ((S1 (MetaSel (Just "entry_rights") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Maybe Text)) :: (S1 (MetaSel (Just "entry_source") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Maybe Source)) :: S1 (MetaSel (Just "entry_summary") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Maybe Text)))) :: ((S1 (MetaSel (Just "entry_title") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Text) :: S1 (MetaSel (Just "entry_updated") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Common, DateTime))) :: (S1 (MetaSel (Just "entry_extensions") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 [Extension]) :*: S1 (MetaSel (Just "entry_common") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Common))))))

entry :: (TextConstraint repr Text, TextConstraint repr URI, TextConstraint repr Email, TextConstraint repr LanguageTag, TextConstraint repr MediaType, TextConstraint repr RelName, TextConstraint repr DateTime, Repeatable repr, Dicurryable repr, RelaxNG repr, Dimapable repr, Dimapable (Permutation repr), Definable (Permutation repr), Optionable repr, Emptyable repr, Tupable (Permutation repr)) => repr (Entry -> k) k Source #

data Content Source #

Constructors

Content_Text Text
Content_Html Text
Content_Xhtml XHTML
Content_Src (Maybe MediaType) URI
Content_Any (Maybe MediaType) (Either Text Any)

Instances

Show Content Source #
Instance details Defined in Symantic.Atom Methods showsPrec :: Int -> Content -> ShowS # show :: Content -> String # showList :: [Content] -> ShowS #
Generic Content Source #
Instance details Defined in Symantic.Atom Associated Types type Rep Content :: Type -> Type # Methods from :: Content -> Rep Content x # to :: Rep Content x -> Content #
type Rep Content Source #
Instance details Defined in Symantic.Atom type Rep Content = D1 (MetaData "Content" "Symantic.Atom" "symantic-atom-0.0.0.20200523-AFusufvAoxi4vgv6idcEnU" False) ((C1 (MetaCons "Content_Text" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Text)) :+: C1 (MetaCons "Content_Html" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Text))) :+: (C1 (MetaCons "Content_Xhtml" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 XHTML)) :+: (C1 (MetaCons "Content_Src" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Maybe MediaType)) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 URI)) :+: C1 (MetaCons "Content_Any" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Maybe MediaType)) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Either Text Any))))))

content :: (TextConstraint repr URI, TextConstraint repr LanguageTag, TextConstraint repr Text, TextConstraint repr MediaType, Dimapable (Permutation repr), Dimapable repr, Definable (Permutation repr), Repeatable repr, Dicurryable repr, RelaxNG repr, Tupable (Permutation repr), Optionable repr, Emptyable repr) => repr ((Common, Content) -> k) k Source #

published :: (TextConstraint repr URI, TextConstraint repr LanguageTag, TextConstraint repr Text, TextConstraint repr DateTime, Dimapable (Permutation repr), Dimapable repr, Repeatable repr, Dicurryable repr, RelaxNG repr, Tupable (Permutation repr), Definable (Permutation repr)) => repr ((Common, DateTime) -> k) k Source #

summary :: (TextConstraint repr URI, TextConstraint repr LanguageTag, TextConstraint repr Text, Dimapable repr, Dimapable (Permutation repr), Repeatable repr, Dicurryable repr, RelaxNG repr, Optionable repr, Tupable (Permutation repr), Definable (Permutation repr)) => repr (Text -> k) k Source #

data Source Source #

Constructors

Source

Fields

source_authors :: [Person]
source_categories :: [Category]
source_contributors :: [Person]
source_generator :: Maybe Generator
source_icon :: Maybe (Common, URI)
source_id :: Maybe (Common, URI)
source_links :: [Link]
source_logo :: Maybe (Common, URI)
source_rights :: Maybe Text
source_subtitle :: Maybe Text
source_title :: Maybe Text
source_updated :: Maybe (Common, DateTime)
source_extensions :: [Extension]
source_common :: Common

Instances

Show Source Source #
Instance details Defined in Symantic.Atom Methods showsPrec :: Int -> Source -> ShowS # show :: Source -> String # showList :: [Source] -> ShowS #
Generic Source Source #
Instance details Defined in Symantic.Atom Associated Types type Rep Source :: Type -> Type # Methods from :: Source -> Rep Source x # to :: Rep Source x -> Source #
type Rep Source Source #
Instance details Defined in Symantic.Atom type Rep Source = D1 (MetaData "Source" "Symantic.Atom" "symantic-atom-0.0.0.20200523-AFusufvAoxi4vgv6idcEnU" False) (C1 (MetaCons "Source" PrefixI True) (((S1 (MetaSel (Just "source_authors") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 [Person]) :: (S1 (MetaSel (Just "source_categories") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 [Category]) :: S1 (MetaSel (Just "source_contributors") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 [Person]))) :: ((S1 (MetaSel (Just "source_generator") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Maybe Generator)) :: S1 (MetaSel (Just "source_icon") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Maybe (Common, URI)))) :: (S1 (MetaSel (Just "source_id") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Maybe (Common, URI))) :: S1 (MetaSel (Just "source_links") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 [Link])))) :: ((S1 (MetaSel (Just "source_logo") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Maybe (Common, URI))) :: (S1 (MetaSel (Just "source_rights") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Maybe Text)) :: S1 (MetaSel (Just "source_subtitle") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Maybe Text)))) :: ((S1 (MetaSel (Just "source_title") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Maybe Text)) :: S1 (MetaSel (Just "source_updated") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Maybe (Common, DateTime)))) :: (S1 (MetaSel (Just "source_extensions") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 [Extension]) :*: S1 (MetaSel (Just "source_common") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Common))))))

source :: (TextConstraint repr Text, TextConstraint repr URI, TextConstraint repr Email, TextConstraint repr LanguageTag, TextConstraint repr RelName, TextConstraint repr MediaType, TextConstraint repr DateTime, Repeatable repr, Dicurryable repr, RelaxNG repr, Dimapable repr, Dimapable (Permutation repr), Definable (Permutation repr), Optionable repr, Tupable (Permutation repr)) => repr (Source -> k) k Source #

type Extension = (QName, ([(QName, Text)], Forest AnyNode)) Source #

extension :: (TextConstraint repr a, TextConstraint repr Text, Dicurryable repr, RelaxNG repr, Repeatable repr, Dimapable repr) => repr ((QName, ([(QName, a)], [Tree AnyNode])) -> k) k Source #

type Any = Tree AnyNode Source #

data AnyNode Source #

Constructors

AnyNode_Elem QName [(QName, Text)]
AnyNode_Text Text

Instances

Show AnyNode Source #
Instance details Defined in Symantic.Atom Methods showsPrec :: Int -> AnyNode -> ShowS # show :: AnyNode -> String # showList :: [AnyNode] -> ShowS #
Generic AnyNode Source #
Instance details Defined in Symantic.Atom Associated Types type Rep AnyNode :: Type -> Type # Methods from :: AnyNode -> Rep AnyNode x # to :: Rep AnyNode x -> AnyNode #
type Rep AnyNode Source #
Instance details Defined in Symantic.Atom type Rep AnyNode = D1 (MetaData "AnyNode" "Symantic.Atom" "symantic-atom-0.0.0.20200523-AFusufvAoxi4vgv6idcEnU" False) (C1 (MetaCons "AnyNode_Elem" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 QName) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 [(QName, Text)])) :+: C1 (MetaCons "AnyNode_Text" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Text)))

anyNode :: (TextConstraint repr Text, Dimapable repr, Dicurryable repr, RelaxNG repr, Repeatable repr) => repr (Tree AnyNode -> k) k Source #

type XHTML = Tree XHTMLNode Source #

data XHTMLNode Source #

Constructors

XHTMLNode_Elem QName [(QName, Text)]
XHTMLNode_Text Text

Instances

Show XHTMLNode Source #
Instance details Defined in Symantic.Atom Methods showsPrec :: Int -> XHTMLNode -> ShowS # show :: XHTMLNode -> String # showList :: [XHTMLNode] -> ShowS #
Generic XHTMLNode Source #
Instance details Defined in Symantic.Atom Associated Types type Rep XHTMLNode :: Type -> Type # Methods from :: XHTMLNode -> Rep XHTMLNode x # to :: Rep XHTMLNode x -> XHTMLNode #
type Rep XHTMLNode Source #
Instance details Defined in Symantic.Atom type Rep XHTMLNode = D1 (MetaData "XHTMLNode" "Symantic.Atom" "symantic-atom-0.0.0.20200523-AFusufvAoxi4vgv6idcEnU" False) (C1 (MetaCons "XHTMLNode_Elem" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 QName) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 [(QName, Text)])) :+: C1 (MetaCons "XHTMLNode_Text" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Text)))

xhtmlNode :: (TextConstraint repr Text, Dimapable repr, Dicurryable repr, RelaxNG repr, Repeatable repr) => repr (Tree XHTMLNode -> k) k Source #

divXHTML :: (TextConstraint repr Text, Dimapable repr, Repeatable repr, Dicurryable repr, RelaxNG repr) => repr (Tree XHTMLNode -> k) k Source #

Orphan instances

DecodeText DateTime Source #
Instance details Methods decodeText :: Parsec Void Text DateTime #
RNCText DateTime Source #
Instance details Methods rncText_qname :: QName # rncText_params :: Map Text Text #
IsString str => MonadFail (Either str) Source #
Instance details Methods fail :: String -> Either str a #