Math.Combinat.LatticePaths

Types

data Step

type LatticePath

ascii drawing of paths

asciiPath

elementary queries

isValidPath

isDyckPath

pathHeight

pathEndpoint

pathCoordinates

pathNumberOfUpSteps

pathNumberOfDownSteps

pathNumberOfUpDownSteps

path-specific queries

pathNumberOfPeaks

pathNumberOfZeroTouches

pathNumberOfTouches'

Dyck paths

dyckPaths

dyckPathsNaive

countDyckPaths

nestedParensToDyckPath

dyckPathToNestedParens

Bounded Dyck paths

boundedDyckPaths

boundedDyckPathsNaive

More general lattice paths

latticePaths

latticePathsNaive

countLatticePaths

Zero-level touches

touchingDyckPaths

touchingDyckPathsNaive

countTouchingDyckPaths

Dyck paths with given number of peaks

peakingDyckPaths

peakingDyckPathsNaive

countPeakingDyckPaths

Random lattice paths

randomDyckPath