MimIR 0.1
MimIR is my Intermediate Representation
Loading...
Searching...
No Matches
mim::ast::Ptrn Class Referenceabstract

#include <mim/ast/ast.h>

Inheritance diagram for mim::ast::Ptrn:
[legend]

Public Member Functions

 Ptrn (Loc loc)
 
virtual bool implicit () const
 
virtual void bind (Scopes &, bool rebind, bool quiet) const =0
 
virtual Ref emit_value (Emitter &, Ref) const =0
 
virtual Ref emit_type (Emitter &) const =0
 
- Public Member Functions inherited from mim::ast::Decl
Ref def () const
 
- Public Member Functions inherited from mim::ast::Node
Loc loc () const
 
virtual std::ostream & stream (Tab &, std::ostream &) const =0
 
void dump () const
 

Static Public Member Functions

static Ptr< Exprto_expr (AST &, Ptr< Ptrn > &&)
 
static Ptr< Ptrnto_ptrn (Ptr< Expr > &&)
 

Additional Inherited Members

- Protected Member Functions inherited from mim::ast::Decl
 Decl (Loc loc)
 
- Protected Member Functions inherited from mim::ast::Node
 Node (Loc loc)
 
virtual ~Node ()
 
- Protected Attributes inherited from mim::ast::Decl
Ref def_ = nullptr
 

Detailed Description

Definition at line 187 of file ast.h.

Constructor & Destructor Documentation

◆ Ptrn()

mim::ast::Ptrn::Ptrn ( Loc loc)
inline

Definition at line 189 of file ast.h.

Member Function Documentation

◆ bind()

virtual void mim::ast::Ptrn::bind ( Scopes & ,
bool rebind,
bool quiet ) const
pure virtual

◆ emit_type()

virtual Ref mim::ast::Ptrn::emit_type ( Emitter & ) const
pure virtual

◆ emit_value()

◆ implicit()

virtual bool mim::ast::Ptrn::implicit ( ) const
inlinevirtual

Reimplemented in mim::ast::AliasPtrn, and mim::ast::TuplePtrn.

Definition at line 192 of file ast.h.

Referenced by mim::ast::AliasPtrn::implicit(), and mim::ast::LamDecl::Dom::implicit().

◆ to_expr()

Ptr< Expr > mim::ast::Ptrn::to_expr ( AST & ast,
Ptr< Ptrn > && ptrn )
staticnodiscard

◆ to_ptrn()

Ptr< Ptrn > mim::ast::Ptrn::to_ptrn ( Ptr< Expr > && expr)
staticnodiscard

Definition at line 177 of file ast.cpp.


The documentation for this class was generated from the following files: