Math.Combinat.LatticePaths

Types

data Step

type LatticePath

isValidPath

isDyckPath

pathHeight

pathEndpoint

pathCoordinates

pathNumberOfPeaks

pathNumberOfZeroTouches

pathNumberOfTouches'

Dyck paths

dyckPaths

dyckPathsNaive

countDyckPaths

nestedParensToDyckPath

dyckPathToNestedParens

Bounded Dyck paths

boundedDyckPaths

boundedDyckPathsNaive

More general lattice paths

latticePaths

latticePathsNaive

Zero-level touches

touchingDyckPaths

touchingDyckPathsNaive

Dyck paths with given number of peaks

peakingDyckPaths

peakingDyckPathsNaive

countPeakingDyckPaths

Random lattice paths

randomDyckPath