Enum TypeAst 

pub enum TypeAst {
    Prim {
        name: String,
        loc: Option<Loc>,
    },
    Lit {
        v: Value,
        loc: Option<Loc>,
    },
    Range {
        lo: Value,
        hi: Value,
        excl: bool,
        loc: Option<Loc>,
    },
    Pattern {
        re: String,
        loc: Option<Loc>,
    },
    Record {
        members: Vec<MemberAst>,
        open: bool,
        loc: Option<Loc>,
    },
    Map {
        key: Box<TypeAst>,
        val: Box<TypeAst>,
        loc: Option<Loc>,
    },
    Array {
        elem: Box<TypeAst>,
        lo: Option<Value>,
        hi: Option<Value>,
        excl: bool,
        loc: Option<Loc>,
    },
    Union {
        arms: Vec<TypeAst>,
        loc: Option<Loc>,
    },
    Isect {
        arms: Vec<TypeAst>,
        loc: Option<Loc>,
    },
    Func {
        params: Vec<TypeAst>,
        ret: Box<TypeAst>,
        loc: Option<Loc>,
    },
    Named {
        name: String,
        args: Vec<TypeAst>,
        preds: Option<Vec<Rc<Expr>>>,
        ext: Option<Box<TypeAst>>,
        loc: Option<Loc>,
    },
}

Variants

Prim

Fields

name: String

loc: Option<Loc>

Lit

Fields

v: Value

loc: Option<Loc>

Range

Fields

lo: Value

hi: Value

excl: bool

loc: Option<Loc>

Pattern

Fields

re: String

loc: Option<Loc>

Record

Fields

members: Vec<MemberAst>

open: bool

loc: Option<Loc>

Map

Fields

key: Box<TypeAst>

val: Box<TypeAst>

loc: Option<Loc>

Array

Fields

elem: Box<TypeAst>

lo: Option<Value>

hi: Option<Value>

excl: bool

loc: Option<Loc>

Union

Fields

arms: Vec<TypeAst>

loc: Option<Loc>

Isect

Fields

arms: Vec<TypeAst>

loc: Option<Loc>

Func

Fields

params: Vec<TypeAst>

ret: Box<TypeAst>

loc: Option<Loc>

Named

Fields

name: String

args: Vec<TypeAst>

preds: Option<Vec<Rc<Expr>>>

ext: Option<Box<TypeAst>>

loc: Option<Loc>

Implementations

impl TypeAst

pub fn loc(&self) -> Option<Loc>

pub fn set_loc(&mut self, l: Loc)

Trait Implementations

impl Clone for TypeAst

fn clone(&self) -> TypeAst

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeAst

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

Formats the value using the given formatter.