Copyright | Anders Claesson 2014-2016 |
---|---|
Maintainer | Anders Claesson <anders.claesson@gmail.com> |
Safe Haskell | None |
Language | Haskell98 |
- data MeshPattern = MP {}
- type Mesh = Set Box
- type Box = (Int, Int)
- mkPattern :: Ord a => [a] -> MeshPattern
- pattern :: Perm -> MeshPattern
- mesh :: [Box] -> MeshPattern -> MeshPattern
- cols :: [Int] -> MeshPattern -> MeshPattern
- rows :: [Int] -> MeshPattern -> MeshPattern
- col :: Int -> MeshPattern -> MeshPattern
- row :: Int -> MeshPattern -> MeshPattern
- box :: Box -> MeshPattern -> MeshPattern
- copiesOf :: MeshPattern -> Perm -> [SubSeq]
- contains :: Perm -> MeshPattern -> Bool
- avoids :: Perm -> MeshPattern -> Bool
- avoidsAll :: Perm -> [MeshPattern] -> Bool
- avoiders :: [MeshPattern] -> [Perm] -> [Perm]
- kVincular :: Int -> Perm -> [MeshPattern]
- vincular :: Perm -> [MeshPattern]
- bivincular :: Perm -> [MeshPattern]
- meshPatterns :: Perm -> [MeshPattern]
Documentation
data MeshPattern Source
mkPattern :: Ord a => [a] -> MeshPattern Source
pattern :: Perm -> MeshPattern Source
mesh :: [Box] -> MeshPattern -> MeshPattern Source
cols :: [Int] -> MeshPattern -> MeshPattern Source
rows :: [Int] -> MeshPattern -> MeshPattern Source
col :: Int -> MeshPattern -> MeshPattern Source
row :: Int -> MeshPattern -> MeshPattern Source
box :: Box -> MeshPattern -> MeshPattern Source
copiesOf :: MeshPattern -> Perm -> [SubSeq] Source
copiesOf p w
is the list of sets that represent copies of p
in w
.
contains :: Perm -> MeshPattern -> Bool Source
w
is a predicate determining if contains
pw
contains the pattern p
.
avoids :: Perm -> MeshPattern -> Bool Source
w
is a predicate determining if avoids
pw
avoids the pattern p
.
avoidsAll :: Perm -> [MeshPattern] -> Bool Source
w
is a predicate determining if avoidsAll
psw
avoids the patterns ps
.
avoiders :: [MeshPattern] -> [Perm] -> [Perm] Source
avoiders ps ws
is the list of permutations in ws
avoiding the
patterns in ps
.
kVincular :: Int -> Perm -> [MeshPattern] Source
vincular :: Perm -> [MeshPattern] Source
bivincular :: Perm -> [MeshPattern] Source
meshPatterns :: Perm -> [MeshPattern] Source