Safe Haskell	Safe-Inferred
Language	Haskell2010

Hercules.CNix.Expr.Typed

Synopsis

newtype Value a = Value {
- rtValue :: RawValue
}
type NixInt = Int64
data NixFloat
data NixString
data NixPath
data NixAttrs
data NixList
data NixFunction
data NixPrimOp
data NixPrimOpApp
data NixExternal
unsafeAssertType :: RawValue -> Value a
data Match
- = IsInt (Value NixInt)
- | IsBool (Value Bool)
- | IsString (Value NixString)
- | IsPath (Value NixPath)
- | IsNull (Value ())
- | IsAttrs (Value NixAttrs)
- | IsList (Value NixList)
- | IsFunction (Value NixFunction)
- | IsExternal (Value NixExternal)
- | IsFloat (Value NixFloat)
match :: Ptr EvalState -> RawValue -> IO (Either SomeException Match)
match' :: Ptr EvalState -> RawValue -> IO Match
getBool :: Value Bool -> IO Bool
getInt :: Value NixInt -> IO Int64
getStringIgnoreContext :: Value NixString -> IO ByteString
hasContext :: Value NixString -> IO Bool
class CheckType a where
- checkType :: Ptr EvalState -> RawValue -> IO (Maybe (Value a))
assertType :: (HasCallStack, MonadIO m, CheckType t) => Ptr EvalState -> RawValue -> m (Value t)
class HasRawValueType s where
- getRawValueType :: Proxy s -> RawValueType

Documentation

newtype Value a Source #

Runtime-Typed Value. This implies that it has been forced, because otherwise the type would not be known.

This is distinct from Nix, which calls its objects Value regardless if they're thunks.

Constructors

Value
Fields rtValue :: RawValue

Instances

Instances details

ToRawValue (Value a) Source #	Upcast
Instance details Defined in Hercules.CNix.Expr Methods toRawValue :: Ptr EvalState -> Value a -> IO RawValue Source #
ToValue (Value a) Source #	Identity
Instance details Defined in Hercules.CNix.Expr Associated Types type NixTypeFor (Value a) Source # Methods toValue :: Ptr EvalState -> Value a -> IO (Value (NixTypeFor (Value a))) Source #
type NixTypeFor (Value a) Source #
Instance details Defined in Hercules.CNix.Expr type NixTypeFor (Value a) = a

type NixInt = Int64 Source #

data NixFloat Source #

Instances

Instances details

CheckType NixFloat Source #
Instance details Defined in Hercules.CNix.Expr.Typed Methods checkType :: Ptr EvalState -> RawValue -> IO (Maybe (Value NixFloat)) Source #
HasRawValueType NixFloat Source #
Instance details Defined in Hercules.CNix.Expr.Typed Methods getRawValueType :: Proxy NixFloat -> RawValueType Source #

data NixString Source #

Instances

Instances details

CheckType NixString Source #
Instance details Defined in Hercules.CNix.Expr.Typed Methods checkType :: Ptr EvalState -> RawValue -> IO (Maybe (Value NixString)) Source #
HasRawValueType NixString Source #
Instance details Defined in Hercules.CNix.Expr.Typed Methods getRawValueType :: Proxy NixString -> RawValueType Source #

data NixPath Source #

Instances

Instances details

CheckType NixPath Source #
Instance details Defined in Hercules.CNix.Expr.Typed Methods checkType :: Ptr EvalState -> RawValue -> IO (Maybe (Value NixPath)) Source #
HasRawValueType NixPath Source #
Instance details Defined in Hercules.CNix.Expr.Typed Methods getRawValueType :: Proxy NixPath -> RawValueType Source #

data NixAttrs Source #

Instances

Instances details

CheckType NixAttrs Source #
Instance details Defined in Hercules.CNix.Expr.Typed Methods checkType :: Ptr EvalState -> RawValue -> IO (Maybe (Value NixAttrs)) Source #
HasRawValueType NixAttrs Source #
Instance details Defined in Hercules.CNix.Expr.Typed Methods getRawValueType :: Proxy NixAttrs -> RawValueType Source #

data NixList Source #

Instances

Instances details

CheckType NixList Source #
Instance details Defined in Hercules.CNix.Expr.Typed Methods checkType :: Ptr EvalState -> RawValue -> IO (Maybe (Value NixList)) Source #
HasRawValueType NixList Source #
Instance details Defined in Hercules.CNix.Expr.Typed Methods getRawValueType :: Proxy NixList -> RawValueType Source #
FromValue NixList [RawValue] Source #
Instance details Defined in Hercules.CNix.Expr Methods fromValue :: Value NixList -> IO [RawValue] Source #

data NixFunction Source #

Instances

Instances details

CheckType NixFunction Source #
Instance details Defined in Hercules.CNix.Expr.Typed Methods checkType :: Ptr EvalState -> RawValue -> IO (Maybe (Value NixFunction)) Source #
HasRawValueType NixFunction Source #
Instance details Defined in Hercules.CNix.Expr.Typed Methods getRawValueType :: Proxy NixFunction -> RawValueType Source #

data NixPrimOp Source #

data NixPrimOpApp Source #

data NixExternal Source #

Instances

Instances details

CheckType NixExternal Source #
Instance details Defined in Hercules.CNix.Expr.Typed Methods checkType :: Ptr EvalState -> RawValue -> IO (Maybe (Value NixExternal)) Source #

unsafeAssertType :: RawValue -> Value a Source #

data Match Source #

Constructors

IsInt (Value NixInt)
IsBool (Value Bool)
IsString (Value NixString)
IsPath (Value NixPath)
IsNull (Value ())
IsAttrs (Value NixAttrs)
IsList (Value NixList)
IsFunction (Value NixFunction)
IsExternal (Value NixExternal)
IsFloat (Value NixFloat)

match :: Ptr EvalState -> RawValue -> IO (Either SomeException Match) Source #

match' :: Ptr EvalState -> RawValue -> IO Match Source #

getBool :: Value Bool -> IO Bool Source #

getInt :: Value NixInt -> IO Int64 Source #

getStringIgnoreContext :: Value NixString -> IO ByteString Source #

hasContext :: Value NixString -> IO Bool Source #

class CheckType a where Source #

Methods

checkType :: Ptr EvalState -> RawValue -> IO (Maybe (Value a)) Source #

Instances

Instances details

CheckType Int64 Source #
Instance details Defined in Hercules.CNix.Expr.Typed Methods checkType :: Ptr EvalState -> RawValue -> IO (Maybe (Value Int64)) Source #
CheckType NixAttrs Source #
Instance details Defined in Hercules.CNix.Expr.Typed Methods checkType :: Ptr EvalState -> RawValue -> IO (Maybe (Value NixAttrs)) Source #
CheckType NixExternal Source #
Instance details Defined in Hercules.CNix.Expr.Typed Methods checkType :: Ptr EvalState -> RawValue -> IO (Maybe (Value NixExternal)) Source #
CheckType NixFloat Source #
Instance details Defined in Hercules.CNix.Expr.Typed Methods checkType :: Ptr EvalState -> RawValue -> IO (Maybe (Value NixFloat)) Source #
CheckType NixFunction Source #
Instance details Defined in Hercules.CNix.Expr.Typed Methods checkType :: Ptr EvalState -> RawValue -> IO (Maybe (Value NixFunction)) Source #
CheckType NixList Source #
Instance details Defined in Hercules.CNix.Expr.Typed Methods checkType :: Ptr EvalState -> RawValue -> IO (Maybe (Value NixList)) Source #
CheckType NixPath Source #
Instance details Defined in Hercules.CNix.Expr.Typed Methods checkType :: Ptr EvalState -> RawValue -> IO (Maybe (Value NixPath)) Source #
CheckType NixString Source #
Instance details Defined in Hercules.CNix.Expr.Typed Methods checkType :: Ptr EvalState -> RawValue -> IO (Maybe (Value NixString)) Source #
CheckType () Source #
Instance details Defined in Hercules.CNix.Expr.Typed Methods checkType :: Ptr EvalState -> RawValue -> IO (Maybe (Value ())) Source #
CheckType Bool Source #
Instance details Defined in Hercules.CNix.Expr.Typed Methods checkType :: Ptr EvalState -> RawValue -> IO (Maybe (Value Bool)) Source #

assertType :: (HasCallStack, MonadIO m, CheckType t) => Ptr EvalState -> RawValue -> m (Value t) Source #

class HasRawValueType s where Source #

Methods

getRawValueType :: Proxy s -> RawValueType Source #

Instances

Instances details

HasRawValueType Int64 Source #
Instance details Defined in Hercules.CNix.Expr.Typed Methods getRawValueType :: Proxy Int64 -> RawValueType Source #
HasRawValueType NixAttrs Source #
Instance details Defined in Hercules.CNix.Expr.Typed Methods getRawValueType :: Proxy NixAttrs -> RawValueType Source #
HasRawValueType NixFloat Source #
Instance details Defined in Hercules.CNix.Expr.Typed Methods getRawValueType :: Proxy NixFloat -> RawValueType Source #
HasRawValueType NixFunction Source #
Instance details Defined in Hercules.CNix.Expr.Typed Methods getRawValueType :: Proxy NixFunction -> RawValueType Source #
HasRawValueType NixList Source #
Instance details Defined in Hercules.CNix.Expr.Typed Methods getRawValueType :: Proxy NixList -> RawValueType Source #
HasRawValueType NixPath Source #
Instance details Defined in Hercules.CNix.Expr.Typed Methods getRawValueType :: Proxy NixPath -> RawValueType Source #
HasRawValueType NixString Source #
Instance details Defined in Hercules.CNix.Expr.Typed Methods getRawValueType :: Proxy NixString -> RawValueType Source #
HasRawValueType () Source #
Instance details Defined in Hercules.CNix.Expr.Typed Methods getRawValueType :: Proxy () -> RawValueType Source #
HasRawValueType Bool Source #
Instance details Defined in Hercules.CNix.Expr.Typed Methods getRawValueType :: Proxy Bool -> RawValueType Source #