termlib-0.9: Term Rewriting Library

Safe HaskellSafe-Infered

Termlib.FunctionSymbol

Documentation

type FunctionName = String

type Arity = Int

data Symbol

Constructors

Symbol !Int 

Instances

data Label

Constructors

NatLabel Int 
RootLabel [Symbol] 

Instances

data Attributes

Constructors

Attributes 

Fields

symIdent :: !FunctionName
 
symArity :: !Arity
 
symIsMarked :: !Bool
 
symIsCompound :: !Bool
 
symLabel :: Maybe Label
 

Instances

type Signature = Signature Symbol Attributes

type SignatureMonad a = SignatureMonad Symbol Attributes a

defaultAttribs :: FunctionName -> Arity -> Attributes

emptySignature :: Signature

symbol :: FunctionName -> Signature -> Maybe Symbol

isSymbol :: Attributes -> Signature -> Bool

fresh :: Attributes -> SignatureMonad Symbol

maybeFresh :: Attributes -> SignatureMonad Symbol

getAttributes :: Symbol -> SignatureMonad Attributes

symbolName :: Signature -> Symbol -> FunctionName

lookup :: Symbol -> Signature -> Maybe Attributes

arity :: Signature -> Symbol -> Arity

isCompound :: Signature -> Symbol -> Bool

isMarked :: Signature -> Symbol -> Bool

symbolLabel :: Signature -> Symbol -> Maybe Label

argumentPositions :: Signature -> Symbol -> [Int]

restrictToSymbols :: Signature -> Set Symbol -> Signature

symbols :: Signature -> Set Symbol