Agda
Safe HaskellNone
LanguageHaskell2010

Agda.Utils.CompactRegion

Synopsis

Documentation

data Compact Source #

Constructors

Compact Compact# 

Instances

Instances details
NFData Compact Source # 
Instance details

Defined in Agda.Utils.CompactRegion

Methods

rnf :: Compact -> () #

new :: Word -> IO Compact Source #

Create a new compact region with given initial block size.

add :: Compact -> a -> IO a Source #

Add a value to a compact region.

compactWithSharing :: a -> IO a Source #