Idris2Doc : Language.XML.CharData

Language.XML.CharData

(source)
Reexports
import public Data.List
import public Data.String
Definitions
record CharData : Type
  Totality: total
  Visibility: public export
  Constructor: 
MkCharData : Bool -> String -> Bool -> CharData

  Projections:
  
.c : CharData -> String
  
.postSpace : CharData -> Bool
  
.preSpace : CharData -> Bool

  Hints:
  
Monoid CharData
  
Semigroup CharData
  
Show CharData
.preSpace : CharData -> Bool
  Visibility: public export
preSpace : CharData -> Bool
  Visibility: public export
.c : CharData -> String
  Visibility: public export
c : CharData -> String
  Visibility: public export
.postSpace : CharData -> Bool
  Visibility: public export
postSpace : CharData -> Bool
  Visibility: public export
maybeSpace : Bool -> String
  Visibility: public export
fromString : String -> CharData
  Visibility: public export
(++) : CharData -> CharData -> CharData
  Visibility: public export
  Fixity Declaration: infixr operator, level 7
charData : Parser CharData
  Visibility: export