Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
TypedSession.State.Constraint
Synopsis
- data Constraint = Constraint Int Int
- type SubMap = IntMap Int
- toTuple :: Constraint -> (Int, Int)
- bigSwapConstr :: Constraint -> Constraint
- subFun :: [Constraint] -> [Constraint]
- replace :: Int -> Int -> [Constraint] -> [Constraint]
- findNewConstraint :: [Constraint] -> [[Constraint]]
- stepConstraint :: [Constraint] -> [Constraint]
- constraintLoop :: [Constraint] -> [Constraint]
- constrToSubMap :: [Constraint] -> SubMap
Documentation
data Constraint Source #
Constraint 1 ~ 2 = Constraint 1 2 2 ~ 3 = Constraint 2 3
Constructors
Constraint Int Int |
Instances
Show Constraint Source # | |
Defined in TypedSession.State.Constraint Methods showsPrec :: Int -> Constraint -> ShowS # show :: Constraint -> String # showList :: [Constraint] -> ShowS # | |
Eq Constraint Source # | |
Defined in TypedSession.State.Constraint | |
Ord Constraint Source # | |
Defined in TypedSession.State.Constraint Methods compare :: Constraint -> Constraint -> Ordering # (<) :: Constraint -> Constraint -> Bool # (<=) :: Constraint -> Constraint -> Bool # (>) :: Constraint -> Constraint -> Bool # (>=) :: Constraint -> Constraint -> Bool # max :: Constraint -> Constraint -> Constraint # min :: Constraint -> Constraint -> Constraint # |
bigSwapConstr :: Constraint -> Constraint Source #
bigSwapConstr >>> bigSwapConstr (Constraint 1 2) Constraint 2 1
subFun :: [Constraint] -> [Constraint] Source #
replace :: Int -> Int -> [Constraint] -> [Constraint] Source #
findNewConstraint :: [Constraint] -> [[Constraint]] Source #
findNewConstraint >>> findNewConstraint [Constraint 3 1, Constraint 4 2, Constraint 4 3] [[Constraint 3 2]]
stepConstraint :: [Constraint] -> [Constraint] Source #
stepConstraint >>> stepConstraint [Constraint 3 1, Constraint 4 2, Constraint 4 3] [Constraint 3 1,Constraint 4 2,Constraint 4 1]
constraintLoop :: [Constraint] -> [Constraint] Source #
constraintLoop >>> constraintLoop [Constraint 3 1, Constraint 4 2, Constraint 4 3] [Constraint 2 1,Constraint 3 1,Constraint 4 1]
- ------------------------------------------------
>>>
stepConstraint [Constraint 3 1, Constraint 4 2, Constraint 4 3]
[Constraint 3 1,Constraint 4 2,Constraint 4 1]
>>>
findNewConstraint [Constraint 3 1,Constraint 4 2,Constraint 4 1]
[[Constraint 2 1]]
>>>
stepConstraint ([Constraint 3 1,Constraint 4 2,Constraint 4 1] <> [Constraint 2 1])
[Constraint 2 1,Constraint 3 1,Constraint 4 1]
constrToSubMap :: [Constraint] -> SubMap Source #
constrToSubMap >>> constrToSubMap [Constraint 3 1, Constraint 4 2, Constraint 4 3] fromList [(2,1),(3,1),(4,1)]