sym-0.14.0: Permutations, patterns, and statistics

Copyright	Anders Claesson 2014-2016
Maintainer	Anders Claesson <anders.claesson@gmail.com>
Safe Haskell	Safe-Inferred
Language	Haskell2010

Sym.Perm.MeshPattern

Description

Synopsis

data MeshPattern = MP {
- getPerm :: Perm
- getMesh :: Mesh
}
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 #

Constructors

MP
Fields getPerm :: Perm getMesh :: Mesh

Instances

Instances details

Show MeshPattern Source #
Instance details Defined in Sym.Perm.MeshPattern Methods showsPrec :: Int -> MeshPattern -> ShowS # show :: MeshPattern -> String # showList :: [MeshPattern] -> ShowS #
Eq MeshPattern Source #
Instance details Defined in Sym.Perm.MeshPattern Methods (==) :: MeshPattern -> MeshPattern -> Bool # (/=) :: MeshPattern -> MeshPattern -> Bool #
Ord MeshPattern Source #
Instance details Defined in Sym.Perm.MeshPattern Methods compare :: MeshPattern -> MeshPattern -> Ordering # (<) :: MeshPattern -> MeshPattern -> Bool # (<=) :: MeshPattern -> MeshPattern -> Bool # (>) :: MeshPattern -> MeshPattern -> Bool # (>=) :: MeshPattern -> MeshPattern -> Bool # max :: MeshPattern -> MeshPattern -> MeshPattern # min :: MeshPattern -> MeshPattern -> MeshPattern #
Size MeshPattern Source #
Instance details Defined in Sym.Perm.MeshPattern Methods size :: MeshPattern -> Int Source #

type Mesh = Set Box Source #

A mesh is a, possibly empty, set of shaded boxes.

type Box = (Int, Int) Source #

A box is represented by the coordinates of its southwest corner.

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 contains p is a predicate determining if w contains the pattern p.

avoids :: Perm -> MeshPattern -> Bool Source #

w avoids p is a predicate determining if w avoids the pattern p.

avoidsAll :: Perm -> [MeshPattern] -> Bool Source #

w avoidsAll ps is a predicate determining if w 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 #