Safe Haskell | Safe |
---|---|
Language | Haskell98 |
This module defines typeclasses to represent the relationships of an object-oriented inheritance hierarchy
- class DescendentOf a b where
- class ChildOf b c | c -> b
- data Value
- data Constant
- data GlobalValue
- data GlobalObject
- data GlobalVariable
- data GlobalAlias
- data Function
- data BasicBlock
- data Parameter
- data Instruction
- data BinaryOperator
- data User
- data MDNode
- data MDString
- data MDValue
- data NamedMetadata
- data InlineAsm
- data Type
- data Metadata
- data MetadataAsVal
- data RawOStream
- data RawPWriteStream
Documentation
class DescendentOf a b where Source #
a class to represent safe casting of pointers to objects of descendant-classes to ancestor-classes.
(DescendentOf a b, ChildOf b c) => DescendentOf a c Source # | ancestor-descentant relationships are build out of parent-child relationships |
DescendentOf a a Source # | trivial casts |
class ChildOf b c | c -> b Source #
a class to represent direct parent-child relationships
data GlobalValue Source #
data GlobalObject Source #
data GlobalVariable Source #
data GlobalAlias Source #
data BasicBlock Source #
data Instruction Source #
data BinaryOperator Source #
data MetadataAsVal Source #
data RawOStream Source #