HsInspect.Types

Documentation

data Type

Constructors

ProductType Text [Text] Bool Text [(Text, [Text])]

^ type tparams newtype cons [(param types, [typarams])]

RecordType Text [Text] Bool Text [(Text, Text, [Text])]

^ type tparams newtype cons [(fieldname, param type, [typarams])]

SumType Text [Text] [(Text, [(Text, [Text])])]

^ type tparams [(cons, [param types, [typarams]])] (no records)

Instances

Show Type

Defined in HsInspect.Types

Methods

showsPrec :: Int -> Type -> ShowS

show :: Type -> String

showList :: [Type] -> ShowS

Eq Type

Defined in HsInspect.Types

Methods

(==) :: Type -> Type -> Bool

(/=) :: Type -> Type -> Bool

ToSexp Type

Defined in HsInspect.Types

Methods

toSexp :: Type -> Sexp

data Pos

Constructors

Pos Int Int

Instances

Show Pos

Defined in HsInspect.Types

Methods

showsPrec :: Int -> Pos -> ShowS

show :: Pos -> String

showList :: [Pos] -> ShowS

Eq Pos

Defined in HsInspect.Types

Methods

(==) :: Pos -> Pos -> Bool

(/=) :: Pos -> Pos -> Bool

Ord Pos

Defined in HsInspect.Types

Methods

compare :: Pos -> Pos -> Ordering

(<) :: Pos -> Pos -> Bool

(<=) :: Pos -> Pos -> Bool

(>) :: Pos -> Pos -> Bool

(>=) :: Pos -> Pos -> Bool

max :: Pos -> Pos -> Pos

min :: Pos -> Pos -> Pos

ToSexp Pos

Defined in HsInspect.Types

Methods

toSexp :: Pos -> Sexp

data Comment

Constructors

Comment Text Pos Pos

Instances

Show Comment

Defined in HsInspect.Types

Methods

showsPrec :: Int -> Comment -> ShowS

show :: Comment -> String

showList :: [Comment] -> ShowS

Eq Comment

Defined in HsInspect.Types

Methods

(==) :: Comment -> Comment -> Bool

(/=) :: Comment -> Comment -> Bool

ToSexp Comment

Defined in HsInspect.Types

Methods

toSexp :: Comment -> Sexp

types :: GhcMonad m => FilePath -> m ([Type], [Comment])

parseTypes :: HscEnv -> FilePath -> IO ([Type], [Comment])