Info.Types

some useful types to use in Info's that don't really fit anywhere else

Documentation

data Arity

how many arguments a function my be applied to before it performs work and whether it bottoms out after that many arguments

Constructors

Arity Int Bool

Instances

Eq Arity

Ord Arity

Show Arity

Typeable Arity

newtype Properties

list of properties of a function, such as specified by use pragmas or options

Constructors

Properties (EnumBitSet Property)

Instances

Eq Properties

Show Properties

how the variable is bound data BindType = CaseDefault | CasePattern | LetBound | LambdaBound | PiBound deriving(Show,Ord,Eq)

Typeable Properties

Monoid Properties

Binary Properties

HasSize Properties

IsEmpty Properties

SetLike Properties

Collection Properties

Unionize Properties

HasProperties Properties

class HasProperties a where

Methods

modifyProperties :: (Properties -> Properties) -> a -> a

getProperties :: a -> Properties

putProperties :: Properties -> a -> a

setProperty :: Property -> a -> a

unsetProperty :: Property -> a -> a

getProperty :: Property -> a -> Bool

setProperties :: [Property] -> a -> a

Instances

HasProperties Info

HasProperties Properties

HasProperties TVr

HasProperties Comb

fetchProperties :: Info -> Maybe Properties

module Info.Properties