WebDSL-Attributes-sig.stx

module signatures/WebDSL-Attributes-sig

imports
  signatures/WebDSL-Action-sig
  signatures/WebDSL-Lexical-sig
  signatures/WebDSL-Core-sig
  signatures/WebDSL-UI-sig

signature

  sorts
    AttributeSelection
    AttributeCollectionOverride
    AttributeElem
    AttributeIncludeIgnore
    Attribute
    AttributeId = string

  constructors
    AttributeSelection-Plhdr : AttributeSelection
    AttributeCollectionOverride-Plhdr : AttributeCollectionOverride
    AttributeElem-Plhdr : AttributeElem
    AttributeIncludeIgnore-Plhdr : AttributeIncludeIgnore
    Attribute-Plhdr : Attribute

signature

  constructors
    AttributeCollection : AttributeCollectionOverride * Id * list(AttributeElem) -> Definition
    AttributeAssign : AttributeId * Exp -> AttributeElem
    AttributeInclude : AttributeId * AttributeIncludeIgnore -> AttributeElem
    AttributeIgnore : AttributeId -> AttributeElem
    AttributeIncludeIgnoreNone : AttributeIncludeIgnore
    AttributeIncludeIgnore : list(AttributeId) -> AttributeIncludeIgnore
    AttributeCollectionOverrideNone : AttributeCollectionOverride
    AttributeCollectionOverride : AttributeCollectionOverride
    AttributeSelection : AttributeId -> AttributeSelection
    AttributeIgnoreDefault : AttributeId -> AttributeSelection
    AttributeSelection2PropertyAssignment : AttributeSelection -> PropertyAssignment
    AttributeSelection2Attribute : AttributeSelection -> Attribute

×