Safe Haskell | None |
---|
some useful types to use in Info's that don't really fit anywhere else
- data Arity = Arity Int Bool
- newtype Properties = Properties (EnumBitSet Property)
- class HasProperties a where
- 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
- fetchProperties :: Info -> Maybe Properties
- module Info.Properties
Documentation
how many arguments a function my be applied to before it performs work and whether it bottoms out after that many arguments
newtype Properties Source
list of properties of a function, such as specified by use pragmas or options
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 whereSource
modifyProperties :: (Properties -> Properties) -> a -> aSource
getProperties :: a -> PropertiesSource
putProperties :: Properties -> a -> aSource
setProperty :: Property -> a -> aSource
unsetProperty :: Property -> a -> aSource
getProperty :: Property -> a -> BoolSource
setProperties :: [Property] -> a -> aSource
module Info.Properties