Plain source file: property/pfe/CertAttrs.hs (2003-05-20)

CertAttrs is imported by: ParseCertAttrs.

module CertAttrs(module CertAttrs,Name,Value) where
import Attrs(Name,Value)

Some of the attributes of a certificate server describe what user editable attributes certificates created by that server contain. The type CertAttrs is used to represent descriptions of these certificate attributes.

type CertAttrs = [(Name,CertAttr)]

data AType = String | File | Nat | Bool deriving Show

data CertAttr = Attr { atype :: AType,
		       label :: String,
		        adefault::Maybe Value }
		deriving Show


(HTML for this module was generated on 2006-08-12. About the conversion tool.)