Hercules.CNix.Expr.Raw

Documentation

newtype 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".

Constructors

RawValue (Ptr Value')

Instances

ToRawValue RawValue

Identity

Defined in Hercules.CNix.Expr

Methods

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

FromValue NixList [RawValue]

Defined in Hercules.CNix.Expr

Methods

fromValue :: Value NixList -> IO [RawValue]

mkRawValue :: Ptr Value' -> IO RawValue

Takes ownership of the value.

data RawValueType

Similar to Nix's Value->type but conflates the List variations

Constructors

Int

Bool

String

Path

Null

Attrs

List

Thunk

App

Lambda

Blackhole

PrimOp

PrimOpApp

External

Float

Other

Instances

Generic RawValueType

Defined in Hercules.CNix.Expr.Raw

Associated Types

type Rep RawValueType :: Type -> Type

Methods

from :: RawValueType -> Rep RawValueType x

to :: Rep RawValueType x -> RawValueType

Show RawValueType

Defined in Hercules.CNix.Expr.Raw

Methods

showsPrec :: Int -> RawValueType -> ShowS

show :: RawValueType -> String

showList :: [RawValueType] -> ShowS

Eq RawValueType

Defined in Hercules.CNix.Expr.Raw

Methods

(==) :: RawValueType -> RawValueType -> Bool

(/=) :: RawValueType -> RawValueType -> Bool

Ord RawValueType

Defined in Hercules.CNix.Expr.Raw

Methods

compare :: RawValueType -> RawValueType -> Ordering

(<) :: RawValueType -> RawValueType -> Bool

(<=) :: RawValueType -> RawValueType -> Bool

(>) :: RawValueType -> RawValueType -> Bool

(>=) :: RawValueType -> RawValueType -> Bool

max :: RawValueType -> RawValueType -> RawValueType

min :: RawValueType -> RawValueType -> RawValueType

type Rep RawValueType

Defined in Hercules.CNix.Expr.Raw

type Rep RawValueType = D1 ('MetaData "RawValueType" "Hercules.CNix.Expr.Raw" "hercules-ci-cnix-expr-0.3.6.0-inplace" 'False) ((((C1 ('MetaCons "Int" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Bool" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "String" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Path" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Null" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Attrs" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "List" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Thunk" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "App" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Lambda" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Blackhole" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PrimOp" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "PrimOpApp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "External" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Float" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Other" 'PrefixI 'False) (U1 :: Type -> Type)))))

rawValueType :: RawValue -> IO RawValueType

You may need to forceValue first.

forceValue :: Exception a => Ptr EvalState -> RawValue -> IO (Either a ())

canonicalRawType :: RawValueType -> RawValueType

Brings RawValueType closer to the 2.4 ValueType.

This function won't be necessary when support for 2.3 is dropped and we switch entirely to the Haskell equivalent of C++ ValueType.