Safe Haskell	None
Language	Haskell98

Agda.Compiler.Treeless.Subst

Contents

Documentation

Constructors

Instances

Eq UnderLambda Source #
Methods (==) :: UnderLambda -> UnderLambda -> Bool # (/=) :: UnderLambda -> UnderLambda -> Bool #
Ord UnderLambda Source #
Methods compare :: UnderLambda -> UnderLambda -> Ordering # (<) :: UnderLambda -> UnderLambda -> Bool # (<=) :: UnderLambda -> UnderLambda -> Bool # (>) :: UnderLambda -> UnderLambda -> Bool # (>=) :: UnderLambda -> UnderLambda -> Bool # max :: UnderLambda -> UnderLambda -> UnderLambda # min :: UnderLambda -> UnderLambda -> UnderLambda #
Show UnderLambda Source #
Methods showsPrec :: Int -> UnderLambda -> ShowS # show :: UnderLambda -> String # showList :: [UnderLambda] -> ShowS #
Monoid UnderLambda Source #
Methods mempty :: UnderLambda # mappend :: UnderLambda -> UnderLambda -> UnderLambda # mconcat :: [UnderLambda] -> UnderLambda #

Constructors

Instances

Eq SeqArg Source #
Methods (==) :: SeqArg -> SeqArg -> Bool # (/=) :: SeqArg -> SeqArg -> Bool #
Ord SeqArg Source #
Methods compare :: SeqArg -> SeqArg -> Ordering # (<) :: SeqArg -> SeqArg -> Bool # (<=) :: SeqArg -> SeqArg -> Bool # (>) :: SeqArg -> SeqArg -> Bool # (>=) :: SeqArg -> SeqArg -> Bool # max :: SeqArg -> SeqArg -> SeqArg # min :: SeqArg -> SeqArg -> SeqArg #
Show SeqArg Source #
Methods showsPrec :: Int -> SeqArg -> ShowS # show :: SeqArg -> String # showList :: [SeqArg] -> ShowS #
Monoid SeqArg Source #
Methods mempty :: SeqArg # mappend :: SeqArg -> SeqArg -> SeqArg # mconcat :: [SeqArg] -> SeqArg #

Constructors

Instances

Eq Occurs Source #
Methods (==) :: Occurs -> Occurs -> Bool # (/=) :: Occurs -> Occurs -> Bool #
Ord Occurs Source #
Methods compare :: Occurs -> Occurs -> Ordering # (<) :: Occurs -> Occurs -> Bool # (<=) :: Occurs -> Occurs -> Bool # (>) :: Occurs -> Occurs -> Bool # (>=) :: Occurs -> Occurs -> Bool # max :: Occurs -> Occurs -> Occurs # min :: Occurs -> Occurs -> Occurs #
Show Occurs Source #
Methods showsPrec :: Int -> Occurs -> ShowS # show :: Occurs -> String # showList :: [Occurs] -> ShowS #
Monoid Occurs Source #
Methods mempty :: Occurs # mappend :: Occurs -> Occurs -> Occurs # mconcat :: [Occurs] -> Occurs #

class HasFree a where Source #

Minimal complete definition

Methods

Instances

HasFree Int Source #
Methods freeVars :: Int -> Map Int Occurs Source #
HasFree TAlt Source #
Methods freeVars :: TAlt -> Map Int Occurs Source #
HasFree TTerm Source #
Methods freeVars :: TTerm -> Map Int Occurs Source #
HasFree a => HasFree [a] Source #
Methods freeVars :: [a] -> Map Int Occurs Source #
HasFree a => HasFree (InSeq a) Source #
Methods freeVars :: InSeq a -> Map Int Occurs Source #
HasFree a => HasFree (Binder a) Source #
Methods freeVars :: Binder a -> Map Int Occurs Source #
(HasFree a, HasFree b) => HasFree (a, b) Source #
Methods freeVars :: (a, b) -> Map Int Occurs Source #

Constructors

Instances

HasFree a => HasFree (Binder a) Source #
Methods freeVars :: Binder a -> Map Int Occurs Source #

Constructors

Instances

HasFree a => HasFree (InSeq a) Source #
Methods freeVars :: InSeq a -> Map Int Occurs Source #

Orphan instances

DeBruijn TTerm Source #
Methods debruijnVar :: Int -> TTerm Source # debruijnNamedVar :: String -> Int -> TTerm Source # debruijnView :: TTerm -> Maybe Int Source #
Subst TTerm TAlt Source #
Methods applySubst :: Substitution' TTerm -> TAlt -> TAlt Source #
Subst TTerm TTerm Source #
Methods applySubst :: Substitution' TTerm -> TTerm -> TTerm Source #