Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- module SAML2.XML.Types
- module SAML2.Core.Datatypes
- data URI
- xpTrimAnyElem :: PU XmlTree
- xpTrimElemNS :: Namespace -> String -> PU a -> PU a
- xpXmlLang :: PU Language
- type IP = String
- xpIP :: PU IP
- data Identified b a
- = Identified !a
- | Unidentified !b
- class Eq b => Identifiable b a | a -> b where
- identifier :: a -> b
- identifiedValues :: [a]
- reidentify :: b -> Identified b a
- unidentify :: Identifiable b a => Identified b a -> b
- xpIdentified :: Identifiable b a => PU b -> PU (Identified b a)
- xpIdentifier :: Identifiable b a => PU b -> String -> PU a
- type IdentifiedURI = Identified URI
- samlToDoc :: XmlPickler a => a -> XmlTree
- samlToDocFirstChild :: XmlPickler a => a -> XmlTree
- samlToXML :: XmlPickler a => a -> ByteString
- docToSAML :: XmlPickler a => XmlTree -> Either String a
- docToXMLWithoutRoot :: XmlTree -> ByteString
- docToXMLWithRoot :: XmlTree -> ByteString
- xmlToSAML :: XmlPickler a => ByteString -> Either String a
- xmlToDoc :: ByteString -> Maybe XmlTree
- xmlToDocE :: ByteString -> Either String XmlTree
Documentation
module SAML2.XML.Types
module SAML2.Core.Datatypes
Represents a general universal resource identifier using its component parts.
For example, for the URI
foo://anonymous@www.haskell.org:42/ghc?query#frag
the components are:
Instances
data Identified b a Source #
Identified !a | |
Unidentified !b |
Instances
(Show a, Show b) => Show (Identified b a) Source # | |
Defined in SAML2.XML showsPrec :: Int -> Identified b a -> ShowS # show :: Identified b a -> String # showList :: [Identified b a] -> ShowS # | |
Default a => Default (Identified b a) Source # | |
Defined in SAML2.XML def :: Identified b a Source # | |
(Eq a, Eq b) => Eq (Identified b a) Source # | |
Defined in SAML2.XML (==) :: Identified b a -> Identified b a -> Bool # (/=) :: Identified b a -> Identified b a -> Bool # | |
XmlPickler (Identified XString LogoutReason) Source # | |
Defined in SAML2.Core.Protocols | |
Identifiable URI a => XmlPickler (Identified URI a) Source # | |
class Eq b => Identifiable b a | a -> b where Source #
identifier :: a -> b Source #
identifiedValues :: [a] Source #
default identifiedValues :: (Bounded a, Enum a) => [a] Source #
reidentify :: b -> Identified b a Source #
Instances
unidentify :: Identifiable b a => Identified b a -> b Source #
xpIdentified :: Identifiable b a => PU b -> PU (Identified b a) Source #
xpIdentifier :: Identifiable b a => PU b -> String -> PU a Source #
type IdentifiedURI = Identified URI Source #
samlToDoc :: XmlPickler a => a -> XmlTree Source #
samlToDocFirstChild :: XmlPickler a => a -> XmlTree Source #
From the input xml forest, take the first child of the first tree.
samlToXML :: XmlPickler a => a -> ByteString Source #
docToXMLWithoutRoot :: XmlTree -> ByteString Source #
see also docToXMLWithRoot
docToXMLWithRoot :: XmlTree -> ByteString Source #
docToXML
chops off the root element from the tree. docToXMLWithRoot
does not do
this. it may make sense to remove docToXMLWithoutRoot
, but since i don't understand this
code enough to be confident not to break anything, i'll just leave this extra function for
reference.
xmlToSAML :: XmlPickler a => ByteString -> Either String a Source #