Language.Ninja.IR.Pool

Pool

data Pool

makePool

makePoolDefault

makePoolConsole

makePoolCustom

poolName

poolDepth

PoolName

data PoolName

makePoolNameDefault

makePoolNameConsole

makePoolNameCustom

_PoolNameDefault

_PoolNameConsole

_PoolNameCustom

poolNameText

printPoolName

parsePoolName

PoolDepth

data PoolDepth

makePoolDepth

makePoolInfinite

poolDepthPositive