Safe Haskell	Safe-Inferred
Language	Haskell2010

TuringMachine.Optimization.Level

Description

Module Level include levels of optimization of Turing machine.

Documentation

Constructors

Instances details

Bounded Level Source #
Instance details Defined in TuringMachine.Optimization.Level Methods minBound :: Level # maxBound :: Level #
Enum Level Source #
Instance details Defined in TuringMachine.Optimization.Level Methods succ :: Level -> Level # pred :: Level -> Level # toEnum :: Int -> Level # fromEnum :: Level -> Int # enumFrom :: Level -> [Level] # enumFromThen :: Level -> Level -> [Level] # enumFromTo :: Level -> Level -> [Level] # enumFromThenTo :: Level -> Level -> Level -> [Level] #
Eq Level Source #
Instance details Defined in TuringMachine.Optimization.Level Methods (==) :: Level -> Level -> Bool # (/=) :: Level -> Level -> Bool #
Ord Level Source #
Instance details Defined in TuringMachine.Optimization.Level Methods compare :: Level -> Level -> Ordering # (<) :: Level -> Level -> Bool # (<=) :: Level -> Level -> Bool # (>) :: Level -> Level -> Bool # (>=) :: Level -> Level -> Bool # max :: Level -> Level -> Level # min :: Level -> Level -> Level #

levelGradation :: [a -> a] -> Level -> a -> a Source #