| Copyright | Anders Claesson 2014-2016 |
|---|---|
| Maintainer | Anders Claesson <anders.claesson@gmail.com> |
| Safe Haskell | None |
| Language | Haskell98 |
Sym.Perm.MeshPattern
Description
- 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 #
Instances
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.
vincular :: Perm -> [MeshPattern] Source #
bivincular :: Perm -> [MeshPattern] Source #
meshPatterns :: Perm -> [MeshPattern] Source #