Documentation

type TypeRule = Rule TypeNode TyVar Source #

toTypeRule_maybe :: Type -> Maybe TypeRule Source #

fromTyVar :: TyVar -> Type Source #

fromTerm :: (f -> [Type] -> Type) -> (v -> Type) -> Term f v -> Type Source #

fromTypeRule :: TypeRule -> Type Source #