Safe Haskell	Safe-Inferred
Language	Haskell2010

SyntaxTrees.Scala.Type

Documentation

newtype TypeParam Source #

Constructors

TypeParam String

Instances

Instances details

Show TypeParam Source #
Instance details Defined in SyntaxTrees.Scala.Type Methods showsPrec :: Int -> TypeParam -> ShowS # show :: TypeParam -> String # showList :: [TypeParam] -> ShowS #

newtype TypeVar Source #

Constructors

TypeVar String

Instances

Instances details

Show TypeVar Source #
Instance details Defined in SyntaxTrees.Scala.Type Methods showsPrec :: Int -> TypeVar -> ShowS # show :: TypeVar -> String # showList :: [TypeVar] -> ShowS #

data TypeCtor Source #

Constructors

TypeCtor String
Arrow
TupleType

Instances

Instances details

Show TypeCtor Source #
Instance details Defined in SyntaxTrees.Scala.Type Methods showsPrec :: Int -> TypeCtor -> ShowS # show :: TypeCtor -> String # showList :: [TypeCtor] -> ShowS #

data Type Source #

Instances

Instances details

Show Type Source #
Instance details Defined in SyntaxTrees.Scala.Type Methods showsPrec :: Int -> Type -> ShowS # show :: Type -> String # showList :: [Type] -> ShowS #

data ClassConstraint Source #

Constructors

ClassConstraint QTypeClass [Type]

Instances

Instances details

Show ClassConstraint Source #
Instance details Defined in SyntaxTrees.Scala.Type Methods showsPrec :: Int -> ClassConstraint -> ShowS # show :: ClassConstraint -> String # showList :: [ClassConstraint] -> ShowS #

newtype ArgList Source #

Constructors

ArgList [ArgField]

Instances

Instances details

Show ArgList Source #
Instance details Defined in SyntaxTrees.Scala.Type Methods showsPrec :: Int -> ArgList -> ShowS # show :: ArgList -> String # showList :: [ArgList] -> ShowS #

newtype UsingArgList Source #

Constructors

UsingArgList [UsingArgField]

Instances

Instances details

Show UsingArgList Source #
Instance details Defined in SyntaxTrees.Scala.Type Methods showsPrec :: Int -> UsingArgList -> ShowS # show :: UsingArgList -> String # showList :: [UsingArgList] -> ShowS #

data ArgField Source #

Constructors

ArgField
Fields modifiers :: [Modifier] name :: Var type' :: Type

Instances

Instances details

Show ArgField Source #
Instance details Defined in SyntaxTrees.Scala.Type Methods showsPrec :: Int -> ArgField -> ShowS # show :: ArgField -> String # showList :: [ArgField] -> ShowS #

data UsingArgField Source #

Constructors

UsingArgField
Fields modifiers :: [Modifier] name :: Maybe Var type' :: ClassConstraint

Instances

Instances details

Show UsingArgField Source #
Instance details Defined in SyntaxTrees.Scala.Type Methods showsPrec :: Int -> UsingArgField -> ShowS # show :: UsingArgField -> String # showList :: [UsingArgField] -> ShowS #

data QTypeVar Source #

Constructors

QTypeVar (Maybe Package) TypeVar

Instances

Instances details

Show QTypeVar Source #
Instance details Defined in SyntaxTrees.Scala.Type Methods showsPrec :: Int -> QTypeVar -> ShowS # show :: QTypeVar -> String # showList :: [QTypeVar] -> ShowS #

data QTypeCtor Source #

Constructors

QTypeCtor (Maybe Package) TypeCtor

Instances

Instances details

Show QTypeCtor Source #
Instance details Defined in SyntaxTrees.Scala.Type Methods showsPrec :: Int -> QTypeCtor -> ShowS # show :: QTypeCtor -> String # showList :: [QTypeCtor] -> ShowS #

showTypeNested :: Type -> String Source #

showTypeScopeNested :: Type -> String Source #

showClassScopeNested :: Type -> String Source #

CtorTypeApply QTypeCtor [Type]
ParamTypeApply TypeParam [Type]
NestedTypeApply Type [Type]
TypeVar' QTypeVar
TypeParam' TypeParam
ExistentialType
TypeScope [TypeParam] Type
ClassScope [ClassConstraint] Type