Documentation

Fields

• ft_triv :: a

  Does not contain variable

• ft_var :: a

  The variable itself

• ft_co_var :: a

  The variable itself, contravariantly

• ft_fun :: a -> a -> a

  Function type

• ft_tup :: TyCon -> [a] -> a

  Tuple type

• ft_ty_app :: Type -> a -> a

  Type app, variable only in last argument

• ft_bad_app :: a

  Type app, variable other than in last argument

• ft_forall :: TcTyVar -> a -> a

  Forall type