-- Hoogle documentation, generated by Haddock -- See Hoogle, http://www.haskell.org/hoogle/ -- | RecXML Type -- -- RecXML type @package composite-xml @version 0.1.0.0 module Composite.XML data RecXML :: Symbol -> [Type] -> [Type] -> Type [RNode] :: Rec Maybe xs -> [Field ys] -> RecXML s xs ys class ToAttr a toAttr :: ToAttr a => a -> (Name, Text) class ToAttrs x toAttrs :: ToAttrs x => x -> Map Name Text class FromAttr s a | a -> s fromAttr :: FromAttr s a => (Name, Text) -> Maybe a class FromAttrs a fromAttrs :: FromAttrs a => [(Name, Text)] -> Maybe a class Formattable x formatC :: Formattable x => x -> Text class Readable x readC :: Readable x => Text -> Maybe x class ToElement a toElement :: ToElement a => a -> Element class ToElements x toElements :: ToElements x => x -> [Element] class FromElement a fromElement :: FromElement a => Element -> Maybe a class FromElements x fromElements :: FromElements x => [Element] -> Maybe x instance (GHC.Show.Show (Composite.CoRecord.Field ys), GHC.Show.Show (Data.Vinyl.Core.Rec GHC.Maybe.Maybe xs), Data.Vinyl.Core.RecApplicative ys) => GHC.Show.Show (Composite.XML.RecXML s xs ys) instance (GHC.Classes.Eq (Composite.CoRecord.Field ys), GHC.Classes.Eq (Data.Vinyl.Core.Rec GHC.Maybe.Maybe xs), Data.Vinyl.Core.RecApplicative ys) => GHC.Classes.Eq (Composite.XML.RecXML s xs ys) instance Composite.XML.FromElement a => Composite.XML.FromElements [a] instance Composite.XML.FromElements (Composite.Record.Record '[]) instance (Composite.XML.FromElement x, Composite.XML.FromElements (Composite.Record.Record xs)) => Composite.XML.FromElements (Composite.Record.Record (x : xs)) instance (GHC.TypeLits.KnownSymbol s, Composite.XML.FromAttrs (Data.Vinyl.Core.Rec GHC.Maybe.Maybe xs), Composite.XML.FromElement (Composite.CoRecord.CoRec Data.Functor.Identity.Identity ys)) => Composite.XML.FromElement (Composite.XML.RecXML s xs ys) instance (Composite.Record.AllHave '[Composite.XML.FromElement] ys, Data.Vinyl.Core.RecApplicative ys, Composite.CoRecord.FoldRec ys ys, Data.Vinyl.Core.RMap ys) => Composite.XML.FromElement (Composite.CoRecord.CoRec Data.Functor.Identity.Identity ys) instance forall u (f :: u -> *). Composite.XML.FromAttrs (Data.Vinyl.Core.Rec f '[]) instance (Composite.XML.FromAttr s (s Composite.Record.:-> x), Composite.XML.FromAttrs (Composite.Record.Record xs)) => Composite.XML.FromAttrs (Composite.Record.Record ((s Composite.Record.:-> x) : xs)) instance (Composite.XML.FromAttr s (s Composite.Record.:-> x), Composite.XML.FromAttrs (Data.Vinyl.Core.Rec GHC.Maybe.Maybe xs)) => Composite.XML.FromAttrs (Data.Vinyl.Core.Rec GHC.Maybe.Maybe ((s Composite.Record.:-> x) : xs)) instance (Composite.XML.Readable a, GHC.TypeLits.KnownSymbol s) => Composite.XML.FromAttr s (s Composite.Record.:-> a) instance Composite.XML.Readable GHC.Types.Bool instance Composite.XML.Readable GHC.Base.String instance Composite.XML.Readable Data.Text.Internal.Text instance Composite.XML.Readable GHC.Types.Double instance Composite.XML.Readable GHC.Types.Int instance forall u (f :: u -> *). Composite.XML.ToElements (Data.Vinyl.Core.Rec f '[]) instance (Composite.XML.ToElement x, Composite.XML.ToElements (Composite.Record.Record xs)) => Composite.XML.ToElements (Composite.Record.Record (x : xs)) instance (GHC.TypeLits.KnownSymbol s, Composite.XML.ToAttrs (Data.Vinyl.Core.Rec GHC.Maybe.Maybe xs), Data.Vinyl.Core.RecApplicative ys, Composite.Record.AllHave '[Composite.XML.ToElement] ys) => Composite.XML.ToElement (Composite.XML.RecXML s xs ys) instance Composite.XML.ToElement a => Composite.XML.ToElements [a] instance (Composite.Record.AllHave '[Composite.XML.ToElement] ys, Data.Vinyl.Core.RecApplicative ys) => Composite.XML.ToElement (Composite.CoRecord.CoRec Data.Functor.Identity.Identity ys) instance (Composite.XML.Formattable a, GHC.TypeLits.KnownSymbol s) => Composite.XML.ToAttr (s Composite.Record.:-> a) instance (Composite.XML.ToAttr x, Composite.XML.ToAttrs (Composite.Record.Record xs)) => Composite.XML.ToAttrs (Composite.Record.Record (x : xs)) instance (Composite.XML.ToAttr x, Composite.XML.ToAttrs (Data.Vinyl.Core.Rec GHC.Maybe.Maybe xs)) => Composite.XML.ToAttrs (Data.Vinyl.Core.Rec GHC.Maybe.Maybe (x : xs)) instance Composite.XML.Formattable GHC.Types.Bool instance Composite.XML.Formattable GHC.Base.String instance Composite.XML.Formattable GHC.Types.Int instance Composite.XML.Formattable () instance Composite.XML.Formattable (GHC.Real.Ratio GHC.Integer.Type.Integer) instance Composite.XML.Formattable GHC.Types.Double instance Composite.XML.Formattable Data.Text.Internal.Text instance forall u (f :: u -> *). Composite.XML.ToAttrs (Data.Vinyl.Core.Rec f '[])