Safe Haskell	None
Language	Haskell2010

Data.Derivation.Expression

Contents

Synopsis

DATA EXP

data Exp v t where Source #

Constructors

Bool :: Bool -> Exp v 'Boolean
Var :: v -> Exp v t
Const :: Integer -> Exp v 'Number
(:==) :: Exp v t -> Exp v t -> Exp v 'Boolean
(:<=) :: Exp v 'Number -> Exp v 'Number -> Exp v 'Boolean
(:+) :: Exp v 'Number -> Exp v 'Number -> Exp v 'Number
(:-) :: Exp v 'Number -> Exp v 'Number -> Exp v 'Number

Instances details

IsString s => Loggable s v (Exp v t) Source #
Instance details Defined in Data.Derivation.Expression.Internal Methods log :: Exp v t -> Log s v Source #
Show v => Show (Exp v t) Source #
Instance details Defined in Data.Derivation.Expression.Internal Methods showsPrec :: Int -> Exp v t -> ShowS # show :: Exp v t -> String # showList :: [Exp v t] -> ShowS #
Outputable v => Outputable (Exp v t) Source #
Instance details Defined in Data.Derivation.Expression.Internal Methods ppr :: Exp v t -> SDoc # pprPrec :: Rational -> Exp v t -> SDoc #

Constructors

Boolean
Number

Instances details

Show ExpType Source #
Instance details Defined in Data.Derivation.Expression.Internal Methods showsPrec :: Int -> ExpType -> ShowS # show :: ExpType -> String # showList :: [ExpType] -> ShowS #