Hercules.CNix.Expr

Documentation

init :: IO ()

setTalkative :: IO ()

setDebug :: IO ()

setGlobalOption :: Text -> Text -> IO ()

setOption :: Text -> Text -> IO ()

logInfo :: Text -> IO ()

withEvalState :: Store -> (Ptr EvalState -> IO a) -> IO a

withEvalStateConduit :: MonadResource m => Store -> (Ptr EvalState -> ConduitT i o m r) -> ConduitT i o m r

addAllowedPath :: Ptr EvalState -> ByteString -> IO ()

Insert an allowed path. Only has an effect when in restricted or pure mode.

addInternalAllowedPaths :: Ptr EvalState -> IO ()

evalFile :: Ptr EvalState -> FilePath -> IO RawValue

newStrings :: IO (Ptr Strings)

appendString :: Ptr Strings -> ByteString -> IO ()

evalArgs :: Ptr EvalState -> [ByteString] -> IO (Value NixAttrs)

autoCallFunction :: Ptr EvalState -> RawValue -> Value NixAttrs -> IO RawValue

isDerivation :: Ptr EvalState -> RawValue -> IO Bool

isFunctor :: Ptr EvalState -> RawValue -> IO Bool

getRecurseForDerivations :: Ptr EvalState -> Value NixAttrs -> IO Bool

getAttr :: Ptr EvalState -> Value NixAttrs -> ByteString -> IO (Maybe RawValue)

mkNullableRawValue :: Ptr Value' -> IO (Maybe RawValue)

Converts nullPtr to Nothing; actual values to Just (a :: RawValue)

getAttrs :: Value NixAttrs -> IO (Map ByteString RawValue)

getDrvFile :: MonadIO m => Ptr EvalState -> RawValue -> m StorePath

getAttrBool :: Ptr EvalState -> Value NixAttrs -> ByteString -> IO (Either SomeException (Maybe Bool))

getList :: Value NixList -> IO [RawValue]

getAttrList :: Ptr EvalState -> Value NixAttrs -> ByteString -> IO (Either SomeException (Maybe [RawValue]))

valueFromExpressionString

Arguments

:: Ptr EvalState

-> ByteString

The string to parse

-> ByteString

Base path for path exprs

-> IO RawValue

Parse a string and eval it.

callFunction :: Ptr EvalState -> RawValue -> RawValue -> IO RawValue

apply but strict.

apply :: RawValue -> RawValue -> IO RawValue

mkPath :: ByteString -> IO (Value NixPath)

getFlakeFromFlakeRef :: Ptr EvalState -> ByteString -> IO RawValue

getLocalFlake :: Ptr EvalState -> Text -> IO RawValue

getFlakeFromGit :: Ptr EvalState -> Text -> Text -> Text -> IO RawValue

getFlakeFromArchiveUrl :: Ptr EvalState -> Text -> IO RawValue

class ToRawValue a where

Minimal complete definition

Nothing

Methods

toRawValue :: Ptr EvalState -> a -> IO RawValue

default toRawValue :: ToValue a => Ptr EvalState -> a -> IO RawValue

Instances

ToRawValue Value

Defined in Hercules.CNix.Expr

Methods

toRawValue :: Ptr EvalState -> Value -> IO RawValue

ToRawValue CBool

Defined in Hercules.CNix.Expr

Methods

toRawValue :: Ptr EvalState -> CBool -> IO RawValue

ToRawValue CDouble

Defined in Hercules.CNix.Expr

Methods

toRawValue :: Ptr EvalState -> CDouble -> IO RawValue

ToRawValue Int64

The native Nix integer type

Defined in Hercules.CNix.Expr

Methods

toRawValue :: Ptr EvalState -> Int64 -> IO RawValue

ToRawValue ByteString

Nix String

Defined in Hercules.CNix.Expr

Methods

toRawValue :: Ptr EvalState -> ByteString -> IO RawValue

ToRawValue RawValue

Identity

Defined in Hercules.CNix.Expr

Methods

toRawValue :: Ptr EvalState -> RawValue -> IO RawValue

ToRawValue Text

UTF-8

Defined in Hercules.CNix.Expr

Methods

toRawValue :: Ptr EvalState -> Text -> IO RawValue

ToRawValue Bool

Defined in Hercules.CNix.Expr

Methods

toRawValue :: Ptr EvalState -> Bool -> IO RawValue

ToRawValue Double

Defined in Hercules.CNix.Expr

Methods

toRawValue :: Ptr EvalState -> Double -> IO RawValue

ToRawValue Int

Defined in Hercules.CNix.Expr

Methods

toRawValue :: Ptr EvalState -> Int -> IO RawValue

ToJSON a => ToRawValue (ViaJSON a)

Defined in Hercules.CNix.Expr

Methods

toRawValue :: Ptr EvalState -> ViaJSON a -> IO RawValue

ToRawValue (PSObject a)

Defined in Hercules.CNix.Expr.Schema

Methods

toRawValue :: Ptr EvalState -> PSObject a -> IO RawValue

ToRawValue (Value a)

Upcast

Defined in Hercules.CNix.Expr

Methods

toRawValue :: Ptr EvalState -> Value a -> IO RawValue

ToRawValue a => ToRawValue (Vector a)

Defined in Hercules.CNix.Expr

Methods

toRawValue :: Ptr EvalState -> Vector a -> IO RawValue

ToRawValue a => ToRawValue [a]

Defined in Hercules.CNix.Expr

Methods

toRawValue :: Ptr EvalState -> [a] -> IO RawValue

ToRawValue a => ToRawValue (Map ByteString a)

Defined in Hercules.CNix.Expr

Methods

toRawValue :: Ptr EvalState -> Map ByteString a -> IO RawValue

ToRawValue a => ToRawValue (Map Text a)

Defined in Hercules.CNix.Expr

Methods

toRawValue :: Ptr EvalState -> Map Text a -> IO RawValue

ToRawValue a => ToRawValue (HashMap Text a)

Defined in Hercules.CNix.Expr

Methods

toRawValue :: Ptr EvalState -> HashMap Text a -> IO RawValue

class ToRawValue a => ToValue a where

Associated Types

type NixTypeFor a :: Type

Methods

toValue :: Ptr EvalState -> a -> IO (Value (NixTypeFor a))

Instances

ToValue CBool

Defined in Hercules.CNix.Expr

Associated Types

type NixTypeFor CBool

Methods

toValue :: Ptr EvalState -> CBool -> IO (Value (NixTypeFor CBool))

ToValue CDouble

Defined in Hercules.CNix.Expr

Associated Types

type NixTypeFor CDouble

Methods

toValue :: Ptr EvalState -> CDouble -> IO (Value (NixTypeFor CDouble))

ToValue Int64

The native Nix integer type

Defined in Hercules.CNix.Expr

Associated Types

type NixTypeFor Int64

Methods

toValue :: Ptr EvalState -> Int64 -> IO (Value (NixTypeFor Int64))

ToValue ByteString

Nix String

Defined in Hercules.CNix.Expr

Associated Types

type NixTypeFor ByteString

Methods

toValue :: Ptr EvalState -> ByteString -> IO (Value (NixTypeFor ByteString))

ToValue Text

UTF-8

Defined in Hercules.CNix.Expr

Associated Types

type NixTypeFor Text

Methods

toValue :: Ptr EvalState -> Text -> IO (Value (NixTypeFor Text))

ToValue Bool

Defined in Hercules.CNix.Expr

Associated Types

type NixTypeFor Bool

Methods

toValue :: Ptr EvalState -> Bool -> IO (Value (NixTypeFor Bool))

ToValue Double

Defined in Hercules.CNix.Expr

Associated Types

type NixTypeFor Double

Methods

toValue :: Ptr EvalState -> Double -> IO (Value (NixTypeFor Double))

ToValue Int

Defined in Hercules.CNix.Expr

Associated Types

type NixTypeFor Int

Methods

toValue :: Ptr EvalState -> Int -> IO (Value (NixTypeFor Int))

(CheckType (NixTypeForSchema t), HasRawValueType (NixTypeForSchema t)) => ToValue (PSObject t)

Defined in Hercules.CNix.Expr.Schema

Associated Types

type NixTypeFor (PSObject t)

Methods

toValue :: Ptr EvalState -> PSObject t -> IO (Value (NixTypeFor (PSObject t)))

ToValue (Value a)

Identity

Defined in Hercules.CNix.Expr

Associated Types

type NixTypeFor (Value a)

Methods

toValue :: Ptr EvalState -> Value a -> IO (Value (NixTypeFor (Value a)))

ToRawValue a => ToValue (Vector a)

Defined in Hercules.CNix.Expr

Associated Types

type NixTypeFor (Vector a)

Methods

toValue :: Ptr EvalState -> Vector a -> IO (Value (NixTypeFor (Vector a)))

ToRawValue a => ToValue [a]

Defined in Hercules.CNix.Expr

Associated Types

type NixTypeFor [a]

Methods

toValue :: Ptr EvalState -> [a] -> IO (Value (NixTypeFor [a]))

ToRawValue a => ToValue (Map ByteString a)

Defined in Hercules.CNix.Expr

Associated Types

type NixTypeFor (Map ByteString a)

Methods

toValue :: Ptr EvalState -> Map ByteString a -> IO (Value (NixTypeFor (Map ByteString a)))

ToRawValue a => ToValue (Map Text a)

Defined in Hercules.CNix.Expr

Associated Types

type NixTypeFor (Map Text a)

Methods

toValue :: Ptr EvalState -> Map Text a -> IO (Value (NixTypeFor (Map Text a)))

ToRawValue a => ToValue (HashMap Text a)

Defined in Hercules.CNix.Expr

Associated Types

type NixTypeFor (HashMap Text a)

Methods

toValue :: Ptr EvalState -> HashMap Text a -> IO (Value (NixTypeFor (HashMap Text a)))

class FromValue n a | a -> n where

Marshall values from Nix into Haskell. Instances must satisfy the requirements that:

• Only a single Nix value type is acceptable for the Haskell type.
• Marshalling does not fail, as the Nix runtime type has already been checked.

Methods

fromValue :: Value n -> IO a

Instances

FromValue Bool Bool

Defined in Hercules.CNix.Expr

Methods

fromValue :: Value Bool -> IO Bool

newtype ViaJSON a

For deriving-via of ToRawValue using ToJSON.

Constructors

ViaJSON

Fields

• fromViaJSON :: a

Instances

Read a => Read (ViaJSON a)

Defined in Hercules.CNix.Expr

Methods

readsPrec :: Int -> ReadS (ViaJSON a)

readList :: ReadS [ViaJSON a]

readPrec :: ReadPrec (ViaJSON a)

readListPrec :: ReadPrec [ViaJSON a]

Show a => Show (ViaJSON a)

Defined in Hercules.CNix.Expr

Methods

showsPrec :: Int -> ViaJSON a -> ShowS

show :: ViaJSON a -> String

showList :: [ViaJSON a] -> ShowS

Eq a => Eq (ViaJSON a)

Defined in Hercules.CNix.Expr

Methods

(==) :: ViaJSON a -> ViaJSON a -> Bool

(/=) :: ViaJSON a -> ViaJSON a -> Bool

Ord a => Ord (ViaJSON a)

Defined in Hercules.CNix.Expr

Methods

compare :: ViaJSON a -> ViaJSON a -> Ordering

(<) :: ViaJSON a -> ViaJSON a -> Bool

(<=) :: ViaJSON a -> ViaJSON a -> Bool

(>) :: ViaJSON a -> ViaJSON a -> Bool

(>=) :: ViaJSON a -> ViaJSON a -> Bool

max :: ViaJSON a -> ViaJSON a -> ViaJSON a

min :: ViaJSON a -> ViaJSON a -> ViaJSON a

ToJSON a => ToRawValue (ViaJSON a)

Defined in Hercules.CNix.Expr

Methods

toRawValue :: Ptr EvalState -> ViaJSON a -> IO RawValue

Re-exports

data RawValue

A heap object.

Nix doesn't store all its objects on the heap, but we do.

Also, Nix calls them Values but it includes thunks, which are not values and some may never produce values, such as throw "msg".

Instances

ToRawValue RawValue

Identity

Defined in Hercules.CNix.Expr

Methods

toRawValue :: Ptr EvalState -> RawValue -> IO RawValue

rawValueType :: RawValue -> IO RawValueType

You may need to forceValue first.

module Hercules.CNix.Expr.Typed

data EvalState