Garmelon/propa-tools
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Reformat Term.hs

Browse source
This commit is contained in:
Joscha 2020-11-26 19:02:57 +01:00
parent 72083325ce
commit 66c77d13b0
1 changed files with 10 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

20
src/Props/Lambda/Term.hs
View file

@ -1,4 +1,4 @@
{-# LANGUAGE OverloadedStrings#-} {-# LANGUAGE OverloadedStrings #-}
module Props.Lambda.Term module Props.Lambda.Term
( Term(..) ( Term(..)
@ -12,7 +12,7 @@ module Props.Lambda.Term
import Numeric.Natural import Numeric.Natural
import qualified Data.Text as T import qualified Data.Text as T
-- | Lambda calculus term using De Bruijn indexing and expanded to deal with -- | Lambda calculus term using De Bruijn indexing and expanded to deal with
-- naming complexity and extensions. -- naming complexity and extensions.
@ -35,11 +35,11 @@ vars (App l r) = vars l <> vars r
vars _ = [] vars _ = []
mapVars :: (a -> b) -> Term e c a -> Term e c b mapVars :: (a -> b) -> Term e c a -> Term e c b
mapVars _ (Var i) = Var i mapVars _ (Var i) = Var i
mapVars _ (Const c) = Const c mapVars _ (Const c) = Const c
mapVars f (Lambda a t) = Lambda (f a) (mapVars f t) mapVars f (Lambda a t) = Lambda (f a) (mapVars f t)
mapVars f (App l r) = App (mapVars f l) (mapVars f r) mapVars f (App l r) = App (mapVars f l) (mapVars f r)
mapVars _ (Ext e) = Ext e mapVars _ (Ext e) = Ext e
consts :: Term e c v -> [c] consts :: Term e c v -> [c]
consts (Const c) = [c] consts (Const c) = [c]
@ -48,11 +48,11 @@ consts (App l r) = consts l <> consts r
consts _ = [] consts _ = []
mapConsts :: (a -> b) -> Term e a v -> Term e b v mapConsts :: (a -> b) -> Term e a v -> Term e b v
mapConsts _ (Var i) = Var i mapConsts _ (Var i) = Var i
mapConsts f (Const c) = Const (f c) mapConsts f (Const c) = Const (f c)
mapConsts f (Lambda v t) = Lambda v (mapConsts f t) mapConsts f (Lambda v t) = Lambda v (mapConsts f t)
mapConsts f (App l r) = App (mapConsts f l) (mapConsts f r) mapConsts f (App l r) = App (mapConsts f l) (mapConsts f r)
mapConsts _ (Ext e) = Ext e mapConsts _ (Ext e) = Ext e
termI :: Term e T.Text T.Text termI :: Term e T.Text T.Text
termI = Lambda "x" (Var 0) termI = Lambda "x" (Var 0)