Math.Combinat.LatticePaths

Types

data Step

type LatticePath

isValidPath

pathHeight

pathEndpoint

pathCoordinates

pathNumberOfZeroTouches

pathNumberOfTouches'

Dyck paths

dyckPaths

countDyckPaths

Bounded Dyck paths

boundedDyckPaths

boundedDyckPathsNaive

More general lattice paths

latticePaths

latticePathsNaive

Zero-level touches

touchingDyckPaths

touchingDyckPathsNaive