Pugs.Types

|  | Contents | Index
Pugs.Types
Synopsis
data Type
= MkType !String
| TypeOr !Type !Type
| TypeAnd !Type !Type
showType :: Type -> String
type ClassTree = Tree Type
data Cxt
= CxtVoid
| CxtItem !Type
| CxtSlurpy !Type
anyType :: Type
cxtItem :: String -> Cxt
cxtSlurpy :: String -> Cxt
cxtVoid :: Cxt
typeOfCxt :: Cxt -> Type
cxtItemAny :: Cxt
cxtSlurpyAny :: Cxt
isSlurpyCxt :: Cxt -> Bool
isItemCxt :: Cxt -> Bool
isVoidCxt :: Cxt -> Bool
mkType :: String -> Type
type Var = String
type VStr = String
type VBool = Bool
type VInt = Integer
type VRat = Rational
type VNum = Double
type VComplex = Complex VNum
type VHandle = Handle
type VSocket = Socket
type VThread = ThreadId
data VRule = MkRule {
rxRegex :: !Regex
rxGlobal :: !Bool
}
Produced by Haddock version ADDOCK_VERSION