pire-0.2.5

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

NoPos

Description

get rid of position information in Pire's syntax trees

Documentation

class NoPos f where Source #

Minimal complete definition

nopos

Methods

nopos :: f -> f Source #

Instances

NoPos a => NoPos [a] Source # 

Methods

nopos :: [a] -> [a] Source #

NoPos (Pattern t) Source # 

Methods

nopos :: Pattern t -> Pattern t Source #

NoPos (Module t a, TT t a) Source # 

Methods

nopos :: (Module t a, TT t a) -> (Module t a, TT t a) Source #

NoPos (ConstructorDef t a, TT t a) Source # 

Methods

nopos :: (ConstructorDef t a, TT t a) -> (ConstructorDef t a, TT t a) Source #

NoPos (Decl t a, TT t a) Source # 

Methods

nopos :: (Decl t a, TT t a) -> (Decl t a, TT t a) Source #

NoPos (Arg t a, TT t a) Source # 

Methods

nopos :: (Arg t a, TT t a) -> (Arg t a, TT t a) Source #

NoPos (Expr t a, TT t a) Source # 

Methods

nopos :: (Expr t a, TT t a) -> (Expr t a, TT t a) Source #

NoPos (Module t a) Source # 

Methods

nopos :: Module t a -> Module t a Source #

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

Methods

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

NoPos (Decl t a) Source # 

Methods

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

NoPos (Arg t a) Source # 

Methods

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

NoPos (Match t a) Source # 

Methods

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

NoPos (Expr t a) Source # 

Methods

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