Infernu.Types

data GenInfo

data Source

emptySource

data Exp a

data LitVal

type EVarName

type TVarName

data TBody

data TConsName

data TypeId

type Type

data Fix f

replaceFix

data FType t

data TypeError

data InferState

data RowTVar

getRowTVar

liftRowTVar

data FlatRowEnd t

data TRowList t

data ClassName

data Class t

data TPred t

data TQual t

qualEmpty

type QualType

data TScheme t

schemeEmpty

schemeFromQual

type TypeScheme

type TypeEnv

class Substable a

flattenRow

unflattenRow

type TSubst

nullSubst

composeSubst

singletonSubst

data VarId

data NameSource

addEquivalence

class VarNames a

type EPropName

mapTopAnnotation