Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- data CoercionLevel
- data CopyToStoreMode
- coerceToString :: (Framed e m, MonadStore m, MonadThrow m, MonadDataErrorContext t f m, MonadValue (NValue t f m) m) => (NValue t f m -> NValue t f m -> m (NValue t f m)) -> CopyToStoreMode -> CoercionLevel -> NValue t f m -> m NixString
Documentation
data CoercionLevel Source #
Data type to avoid boolean blindness on what used to be called coerceMore
CoerceStringy | Coerce only stringlike types: strings, paths, and appropriate sets |
CoerceAny | Coerce everything but functions |
Instances
data CopyToStoreMode Source #
Data type to avoid boolean blindness on what used to be called copyToStore
CopyToStore | Add paths to the store as they are encountered |
DontCopyToStore | Add paths to the store as they are encountered |
Instances
coerceToString :: (Framed e m, MonadStore m, MonadThrow m, MonadDataErrorContext t f m, MonadValue (NValue t f m) m) => (NValue t f m -> NValue t f m -> m (NValue t f m)) -> CopyToStoreMode -> CoercionLevel -> NValue t f m -> m NixString Source #