Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.ZipperAG.Examples.SmartParentesis

Documentation

data Root Source #

Constructors

Root Exp

Instances

Instances details

Data Root Source #
Instance details Defined in Language.ZipperAG.Examples.SmartParentesis Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Root -> c Root # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Root # toConstr :: Root -> Constr # dataTypeOf :: Root -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Root) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Root) # gmapT :: (forall b. Data b => b -> b) -> Root -> Root # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Root -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Root -> r # gmapQ :: (forall d. Data d => d -> u) -> Root -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Root -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Root -> m Root # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Root -> m Root # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Root -> m Root #
Show Root Source #
Instance details Defined in Language.ZipperAG.Examples.SmartParentesis Methods showsPrec :: Int -> Root -> ShowS # show :: Root -> String # showList :: [Root] -> ShowS #
Eq Root Source #
Instance details Defined in Language.ZipperAG.Examples.SmartParentesis Methods (==) :: Root -> Root -> Bool # (/=) :: Root -> Root -> Bool #
Ord Root Source #
Instance details Defined in Language.ZipperAG.Examples.SmartParentesis Methods compare :: Root -> Root -> Ordering # (<) :: Root -> Root -> Bool # (<=) :: Root -> Root -> Bool # (>) :: Root -> Root -> Bool # (>=) :: Root -> Root -> Bool # max :: Root -> Root -> Root # min :: Root -> Root -> Root #

data Exp Source #

Constructors

Add Exp Exp
Mul Exp Exp
Div Exp Exp
Sub Exp Exp
Lit Int

Instances

Instances details

Data Exp Source #
Instance details Defined in Language.ZipperAG.Examples.SmartParentesis Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Exp -> c Exp # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Exp # toConstr :: Exp -> Constr # dataTypeOf :: Exp -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Exp) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Exp) # gmapT :: (forall b. Data b => b -> b) -> Exp -> Exp # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Exp -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Exp -> r # gmapQ :: (forall d. Data d => d -> u) -> Exp -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Exp -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Exp -> m Exp # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Exp -> m Exp # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Exp -> m Exp #
Show Exp Source #
Instance details Defined in Language.ZipperAG.Examples.SmartParentesis Methods showsPrec :: Int -> Exp -> ShowS # show :: Exp -> String # showList :: [Exp] -> ShowS #
Eq Exp Source #
Instance details Defined in Language.ZipperAG.Examples.SmartParentesis Methods (==) :: Exp -> Exp -> Bool # (/=) :: Exp -> Exp -> Bool #
Ord Exp Source #
Instance details Defined in Language.ZipperAG.Examples.SmartParentesis Methods compare :: Exp -> Exp -> Ordering # (<) :: Exp -> Exp -> Bool # (<=) :: Exp -> Exp -> Bool # (>) :: Exp -> Exp -> Bool # (>=) :: Exp -> Exp -> Bool # max :: Exp -> Exp -> Exp # min :: Exp -> Exp -> Exp #

constructor :: Zipper Root -> String Source #

lexeme :: Zipper Root -> Int Source #

enclosingOpPrecedence :: Zipper Root -> Int Source #

leftOrRight :: Zipper Root -> String Source #

bpp :: Zipper Root -> String Source #

wrapInParens :: (Ord a, Eq a) => a -> a -> a -> a -> Bool Source #

exp2str :: Exp -> String Source #

expr :: Root Source #

semantics :: Root -> String Source #