Copyright | Copyright (C) 2008 Uwe Schmidt |
---|---|
License | MIT |
Maintainer | Uwe Schmidt (uwe@fh-wedel.de) |
Stability | experimental |
Portability | portable |
Safe Haskell | None |
Language | Haskell2010 |
Text.XML.HXT.DTDValidation.TypeDefs
Description
This module provides all datatypes for DTD validation
Synopsis
- type XmlArrow = LA XmlTree XmlTree
- ($$) :: XmlArrow -> XmlTrees -> XmlTrees
- type XmlArrowS = LA XmlTree XmlTrees
- dtd_name :: Attributes -> String
- dtd_value :: Attributes -> String
- dtd_type :: Attributes -> String
- dtd_kind :: Attributes -> String
- dtd_modifier :: Attributes -> String
- dtd_default :: Attributes -> String
- isUnparsedEntity :: ArrowDTD a => a XmlTree XmlTree
- hasDTDAttrValue :: ArrowDTD a => String -> (String -> Bool) -> a XmlTree XmlTree
- isRequiredAttrKind :: ArrowDTD a => a XmlTree XmlTree
- isDefaultAttrKind :: ArrowDTD a => a XmlTree XmlTree
- isFixedAttrKind :: ArrowDTD a => a XmlTree XmlTree
- isMixedContentElement :: ArrowDTD a => a XmlTree XmlTree
- isEmptyElement :: ArrowDTD a => a XmlTree XmlTree
- isEnumAttrType :: ArrowDTD a => a XmlTree XmlTree
- isIdAttrType :: ArrowDTD a => a XmlTree XmlTree
- isIdRefAttrType :: ArrowDTD a => a XmlTree XmlTree
- isNotationAttrType :: ArrowDTD a => a XmlTree XmlTree
- isAttlistOfElement :: ArrowDTD a => String -> a XmlTree XmlTree
- valueOfDTD :: String -> XmlTree -> String
- valueOf :: String -> XmlTree -> String
- getDTDAttributes :: XmlTree -> Attributes
- isDTDDoctypeNode :: XmlTree -> Bool
- isDTDElementNode :: XmlTree -> Bool
- isDTDAttlistNode :: XmlTree -> Bool
- isDTDContentNode :: XmlTree -> Bool
- isDTDNameNode :: XmlTree -> Bool
- isElemNode :: XmlTree -> Bool
- nameOfAttr :: XmlTree -> String
- nameOfElem :: XmlTree -> String
- msgToErr :: (String -> String) -> LA String XmlTree
- module Text.XML.HXT.DOM.Interface
- module Text.XML.HXT.Arrow.XmlArrow
- class Category a => Arrow (a :: Type -> Type -> Type) where
- (>>>) :: forall {k} cat (a :: k) (b :: k) (c :: k). Category cat => cat a b -> cat b c -> cat a c
- (<<<) :: forall {k} cat (b :: k) (c :: k) (a :: k). Category cat => cat b c -> cat a b -> cat a c
- class Arrow a => ArrowChoice (a :: Type -> Type -> Type) where
- class ArrowZero a => ArrowPlus (a :: Type -> Type -> Type) where
- (<+>) :: a b c -> a b c -> a b c
- (<<^) :: Arrow a => a c d -> (b -> c) -> a b d
- (>>^) :: Arrow a => a b c -> (c -> d) -> a b d
- (^<<) :: Arrow a => (c -> d) -> a b c -> a b d
- (^>>) :: Arrow a => (b -> c) -> a c d -> a b d
- newtype Kleisli (m :: Type -> Type) a b = Kleisli {
- runKleisli :: a -> m b
- class Arrow a => ArrowApply (a :: Type -> Type -> Type) where
- app :: a (a b c, b) c
- class Arrow a => ArrowLoop (a :: Type -> Type -> Type) where
- loop :: a (b, d) (c, d) -> a b c
- class Arrow a => ArrowZero (a :: Type -> Type -> Type) where
- zeroArrow :: a b c
- newtype ArrowMonad (a :: Type -> Type -> Type) b = ArrowMonad (a () b)
- leftApp :: ArrowApply a => a b c -> a (Either b d) (Either c d)
- returnA :: Arrow a => a b b
- module Control.Arrow.ArrowList
- module Control.Arrow.ArrowIf
- module Control.Arrow.ArrowState
- module Control.Arrow.ArrowTree
- module Control.Arrow.ListArrow
- module Control.Arrow.StateListArrow
Documentation
($$) :: XmlArrow -> XmlTrees -> XmlTrees infixr 0 Source #
infix operator for applying an arrow to a list of trees
- 1.parameter f : the arrow
- 2.parameter ts : the list of trees
- returns : list of results
dtd_name :: Attributes -> String Source #
dtd_value :: Attributes -> String Source #
dtd_type :: Attributes -> String Source #
dtd_kind :: Attributes -> String Source #
dtd_modifier :: Attributes -> String Source #
dtd_default :: Attributes -> String Source #
valueOfDTD :: String -> XmlTree -> String Source #
getDTDAttributes :: XmlTree -> Attributes Source #
isDTDDoctypeNode :: XmlTree -> Bool Source #
isDTDElementNode :: XmlTree -> Bool Source #
isDTDAttlistNode :: XmlTree -> Bool Source #
isDTDContentNode :: XmlTree -> Bool Source #
isDTDNameNode :: XmlTree -> Bool Source #
isElemNode :: XmlTree -> Bool Source #
nameOfAttr :: XmlTree -> String Source #
nameOfElem :: XmlTree -> String Source #
module Text.XML.HXT.DOM.Interface
module Text.XML.HXT.Arrow.XmlArrow
class Category a => Arrow (a :: Type -> Type -> Type) where #
Methods
first :: a b c -> a (b, d) (c, d) #
second :: a b c -> a (d, b) (d, c) #
class Arrow a => ArrowChoice (a :: Type -> Type -> Type) where #
Methods
left :: a b c -> a (Either b d) (Either c d) #
right :: a b c -> a (Either d b) (Either d c) #
(+++) :: a b c -> a b' c' -> a (Either b b') (Either c c') #
Instances
ArrowChoice IOLA Source # | |
ArrowChoice LA Source # | |
Monad m => ArrowChoice (Kleisli m) | |
Defined in Control.Arrow | |
ArrowChoice (IOSLA s) Source # | |
Defined in Control.Arrow.IOStateListArrow | |
ArrowChoice (SLA s) Source # | |
ArrowChoice (->) | |
class ArrowZero a => ArrowPlus (a :: Type -> Type -> Type) where #
newtype Kleisli (m :: Type -> Type) a b #
Constructors
Kleisli | |
Fields
|
Instances
Monad m => Category (Kleisli m :: Type -> Type -> Type) | |||||
Generic1 (Kleisli m a :: Type -> Type) | |||||
Defined in Control.Arrow Associated Types
| |||||
Monad m => Arrow (Kleisli m) | |||||
Defined in Control.Arrow | |||||
Monad m => ArrowApply (Kleisli m) | |||||
Defined in Control.Arrow | |||||
Monad m => ArrowChoice (Kleisli m) | |||||
Defined in Control.Arrow | |||||
MonadFix m => ArrowLoop (Kleisli m) | |||||
Defined in Control.Arrow | |||||
MonadPlus m => ArrowPlus (Kleisli m) | |||||
MonadPlus m => ArrowZero (Kleisli m) | |||||
Defined in Control.Arrow | |||||
Alternative m => Alternative (Kleisli m a) | |||||
Applicative m => Applicative (Kleisli m a) | |||||
Defined in Control.Arrow | |||||
Functor m => Functor (Kleisli m a) | |||||
Monad m => Monad (Kleisli m a) | |||||
MonadPlus m => MonadPlus (Kleisli m a) | |||||
Generic (Kleisli m a b) | |||||
Defined in Control.Arrow Associated Types
| |||||
type Rep1 (Kleisli m a :: Type -> Type) | |||||
Defined in Control.Arrow type Rep1 (Kleisli m a :: Type -> Type) = D1 ('MetaData "Kleisli" "Control.Arrow" "base" 'True) (C1 ('MetaCons "Kleisli" 'PrefixI 'True) (S1 ('MetaSel ('Just "runKleisli") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) ((FUN 'Many a :: Type -> Type) :.: Rec1 m))) | |||||
type Rep (Kleisli m a b) | |||||
Defined in Control.Arrow type Rep (Kleisli m a b) = D1 ('MetaData "Kleisli" "Control.Arrow" "base" 'True) (C1 ('MetaCons "Kleisli" 'PrefixI 'True) (S1 ('MetaSel ('Just "runKleisli") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (a -> m b)))) |
class Arrow a => ArrowApply (a :: Type -> Type -> Type) where #
Instances
ArrowApply IOLA Source # | |
Defined in Control.Arrow.IOListArrow | |
ArrowApply LA Source # | |
Defined in Control.Arrow.ListArrow | |
Monad m => ArrowApply (Kleisli m) | |
Defined in Control.Arrow | |
ArrowApply (IOSLA s) Source # | |
Defined in Control.Arrow.IOStateListArrow | |
ArrowApply (SLA s) Source # | |
Defined in Control.Arrow.StateListArrow | |
ArrowApply (->) | |
Defined in Control.Arrow |
class Arrow a => ArrowZero (a :: Type -> Type -> Type) where #
Instances
ArrowZero IOLA Source # | |
Defined in Control.Arrow.IOListArrow | |
ArrowZero LA Source # | |
Defined in Control.Arrow.ListArrow | |
MonadPlus m => ArrowZero (Kleisli m) | |
Defined in Control.Arrow | |
ArrowZero (IOSLA s) Source # | |
Defined in Control.Arrow.IOStateListArrow | |
ArrowZero (SLA s) Source # | |
Defined in Control.Arrow.StateListArrow |
newtype ArrowMonad (a :: Type -> Type -> Type) b #
Constructors
ArrowMonad (a () b) |
Instances
leftApp :: ArrowApply a => a b c -> a (Either b d) (Either c d) #
module Control.Arrow.ArrowList
module Control.Arrow.ArrowIf
module Control.Arrow.ArrowState
module Control.Arrow.ArrowTree
module Control.Arrow.ListArrow
module Control.Arrow.StateListArrow