| License | BSD-3-Clause |
|---|---|
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Swarm.Language.Syntax.Pattern
Description
Pattern synonyms for untyped terms
Synopsis
- type Syntax = Syntax' ()
- type TSyntax = Syntax' Polytype
- type USyntax = Syntax' UType
- sLoc :: forall ty. Lens' (Syntax' ty) SrcLoc
- sTerm :: forall ty. Lens' (Syntax' ty) (Term' ty)
- sType :: forall ty. Lens' (Syntax' ty) ty
- sComments :: forall ty. Lens' (Syntax' ty) Comments
- pattern Syntax :: SrcLoc -> Term -> Syntax
- pattern CSyntax :: SrcLoc -> Term -> Comments -> Syntax
- pattern STerm :: Term -> Syntax
- pattern TRequirements :: Text -> Term -> Term
- pattern TPair :: Term -> Term -> Term
- pattern TLam :: Var -> Maybe Type -> Term -> Term
- pattern TApp :: Term -> Term -> Term
- pattern (:$:) :: Term -> Syntax -> Term
- pattern TLet :: LetSyntax -> Bool -> Var -> Maybe Polytype -> Maybe Requirements -> Term -> Term -> Term
- pattern TTydef :: Var -> Polytype -> Maybe TydefInfo -> Term -> Term
- pattern TBind :: Maybe Var -> Maybe Polytype -> Maybe Requirements -> Term -> Term -> Term
- pattern TDelay :: Term -> Term
- pattern TRcd :: Map Var (Maybe Term) -> Term
- pattern TProj :: Term -> Var -> Term
- pattern TAnnotate :: Term -> Polytype -> Term
- pattern TSuspend :: Term -> Term
- type Term = Term' ()
- type TTerm = Term' Polytype
- type UTerm = Term' UType
- noLoc :: Term -> Syntax
Documentation
pattern Syntax :: SrcLoc -> Term -> Syntax Source #
Raw parsed syntax, without comments or type annotations.
pattern CSyntax :: SrcLoc -> Term -> Comments -> Syntax Source #
Untyped syntax with assocated comments.
pattern (:$:) :: Term -> Syntax -> Term infixl 0 Source #
Convenient infix pattern synonym for application.
pattern TLet :: LetSyntax -> Bool -> Var -> Maybe Polytype -> Maybe Requirements -> Term -> Term -> Term Source #
Match a TLet without annotations.
pattern TTydef :: Var -> Polytype -> Maybe TydefInfo -> Term -> Term Source #
Match a STydef without annotations.