module DefaultCreateOptions where

import CreateOptionsType (CreateOptions(..))
import FileSystemType (FileSystem (TemporaryFileSystem))
import NameType (Name)
import OnExecType (OnExec (RemainOpenOnExec))
import SealingType (Sealing (DoNotAllowSealing))

defaultCreateOptions :: Name -> CreateOptions
defaultCreateOptions :: Name -> CreateOptions
defaultCreateOptions Name
x =
  CreateOptions :: Name -> OnExec -> Sealing -> FileSystem -> CreateOptions
CreateOptions
    { name :: Name
name = Name
x
    , onExec :: OnExec
onExec = OnExec
RemainOpenOnExec
    , sealing :: Sealing
sealing = Sealing
DoNotAllowSealing
    , fileSystem :: FileSystem
fileSystem = FileSystem
TemporaryFileSystem
    }