Ide.Plugin.Tactic.GHC

Documentation

tcTyVar_maybe :: Type -> Maybe Var

instantiateType :: Type -> ([TyVar], Type)

cloneTyVar :: TyVar -> TyVar

isFunction :: Type -> Bool

Is this a function type?

tacticsSplitFunTy :: Type -> ([TyVar], ThetaType, [Type], Type)

Split a function, also splitting out its quantified variables and theta context.

tacticsThetaTy :: Type -> ThetaType

Rip the theta context out of a regular type.

freshTyvars :: MonadState TacticState m => Type -> m Type

Instantiate all of the quantified type variables in a type with fresh skolems.

algebraicTyCon :: Type -> Maybe TyCon

Is this an algebraic type?

lambdaCaseable :: Type -> Maybe Bool

Can ths type be lambda-cased?

Return: Nothing if no Just False if it can't be homomorphic Just True if it can

fromPatCompat :: PatCompat GhcTc -> Pat GhcTc

type PatCompat pass = LPat pass

pattern TopLevelRHS :: OccName -> [PatCompat GhcTc] -> LHsExpr GhcTc -> Match GhcTc (LHsExpr GhcTc)

Should make sure it's a fun bind

getPatName :: PatCompat GhcTc -> Maybe OccName

dataConExTys :: DataCon -> [TyCoVar]