Enum Decl 

pub enum Decl {
    TypeSig(TypeSig),
    FunBind(FunBind),
    DataDecl(DataDecl),
    TypeAlias(TypeAlias),
    Newtype(NewtypeDecl),
    ClassDecl(ClassDecl),
    InstanceDecl(InstanceDecl),
    Foreign(ForeignDecl),
    Fixity(FixityDecl),
    PragmaDecl(Pragma),
    StandaloneDeriving(StandaloneDeriving),
    PatternSynonym(PatternSynonymDecl),
    TypeFamilyDecl(TypeFamilyDecl),
    TypeInstanceDecl(TypeInstanceDecl),
    DataFamilyDecl(DataFamilyDecl),
    DataInstanceDecl(DataInstanceDecl),
}

A top-level declaration.

Variants

TypeSig(TypeSig)

Type signature: foo :: Int -> Int

FunBind(FunBind)

Function/value binding: foo x = x + 1

DataDecl(DataDecl)

Data type: data Foo = A | B Int

TypeAlias(TypeAlias)

Type alias: type Foo = Bar

Newtype(NewtypeDecl)

Newtype: newtype Foo = Foo Bar

ClassDecl(ClassDecl)

Class definition: class Eq a where ...

InstanceDecl(InstanceDecl)

Instance definition: instance Eq Int where ...

Foreign(ForeignDecl)

Foreign import/export

Fixity(FixityDecl)

Fixity declaration: infixl 6 +

PragmaDecl(Pragma)

Pragma declaration: {-# MINIMAL ... #-}

StandaloneDeriving(StandaloneDeriving)

Standalone deriving: deriving instance Show Foo

PatternSynonym(PatternSynonymDecl)

Pattern synonym: pattern Zero = Lit 0

TypeFamilyDecl(TypeFamilyDecl)

Standalone type family: type family F a or type family F a where ...

TypeInstanceDecl(TypeInstanceDecl)

Standalone type family instance: type instance F Int = Bool

DataFamilyDecl(DataFamilyDecl)

Standalone data family: data family F a

DataInstanceDecl(DataInstanceDecl)

Data family instance: data instance F Int = Con1 Int | Con2

Trait Implementations

impl Clone for Decl

fn clone(&self) -> Decl

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Decl

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.