pire-0.2.5

Copyright(c) Andreas Reuleaux 2015-2018
LicenseBSD2
MaintainerAndreas Reuleaux <rx@a-rx.info>
Stabilityexperimental
Portabilitynon-portable
Safe HaskellNone
LanguageHaskell2010

OldForget

Description

from Pire's concrete syntax to its absy, ie. forget white space information

Synopsis

Documentation

class Forget a b | a -> b where Source #

forget white space information

>>> nopos $ parse expr_ "f a  "
Ws_ (V "f") (Ws " ") :@ Ws_ (V "a") (Ws "  ")
>>> forget $ nopos $ parse expr_ "f a  "
V "f" :@ V "a"

Minimal complete definition

forget

Methods

forget :: a -> b Source #

Instances

Forget [Decl t a] [Decl t a] Source # 

Methods

forget :: [Decl t a] -> [Decl t a] Source #

Forget (Pattern t) (Pattern t) Source # 

Methods

forget :: Pattern t -> Pattern t Source #

Forget (Maybe (Token SemiColonTy t), Match t a) (Match t a) Source # 

Methods

forget :: (Maybe (Token SemiColonTy t), Match t a) -> Match t a Source #

Forget (Token SemiColonTy t, Match t a) (Match t a) Source # 

Methods

forget :: (Token SemiColonTy t, Match t a) -> Match t a Source #

Forget (ConstructorDef t a, Maybe (Token SemiColonTy t)) (ConstructorDef t a) Source # 
Forget (Match t a, Token SemiColonTy t) (Match t a) Source # 

Methods

forget :: (Match t a, Token SemiColonTy t) -> Match t a Source #

Forget (Match t a, Maybe (Token SemiColonTy t)) (Match t a) Source # 

Methods

forget :: (Match t a, Maybe (Token SemiColonTy t)) -> Match t a Source #

Forget (Expr t a, Eps) (Expr t a, Eps) Source # 

Methods

forget :: (Expr t a, Eps) -> (Expr t a, Eps) Source #

Forget (Decl t a) (Decl t a) Source # 

Methods

forget :: Decl t a -> Decl t a Source #

Forget (ConstructorDef t a) (ConstructorDef t a) Source # 
Forget (Telescope t a) (Telescope t a) Source # 

Methods

forget :: Telescope t a -> Telescope t a Source #

Forget (Arg t a) (Arg t a) Source # 

Methods

forget :: Arg t a -> Arg t a Source #

Forget (Match t a) (Match t a) Source # 

Methods

forget :: Match t a -> Match t a Source #

Forget (Annot t a) (Annot t a) Source # 

Methods

forget :: Annot t a -> Annot t a Source #

Forget (Expr t a) (Expr t a) Source # 

Methods

forget :: Expr t a -> Expr t a Source #

Forget (Block ConstructorDef t a) [ConstructorDef t a] Source # 
Forget (Block Match t a) [Match t a] Source # 

Methods

forget :: Block Match t a -> [Match t a] Source #

forgetExp :: Expr t a -> Expr t a Source #

forgetDecl :: Decl t a -> Decl t a Source #