hercules-ci-cnix-expr-0.3.6.1: Bindings for the Nix evaluator
Safe HaskellSafe-Inferred
LanguageHaskell2010

Hercules.CNix.Expr.Raw

Synopsis

Documentation

newtype RawValue Source #

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

Instances details
ToRawValue RawValue Source #

Identity

Instance details

Defined in Hercules.CNix.Expr

Methods

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

FromValue NixList [RawValue] Source # 
Instance details

Defined in Hercules.CNix.Expr

Methods

fromValue :: Value NixList -> IO [RawValue] Source #

mkRawValue :: Ptr Value' -> IO RawValue Source #

Takes ownership of the value.

data RawValueType Source #

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

Instances details
Generic RawValueType Source # 
Instance details

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 Source # 
Instance details

Defined in Hercules.CNix.Expr.Raw

Methods

showsPrec :: Int -> RawValueType -> ShowS #

show :: RawValueType -> String #

showList :: [RawValueType] -> ShowS #

Eq RawValueType Source # 
Instance details

Defined in Hercules.CNix.Expr.Raw

Methods

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

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

Ord RawValueType Source # 
Instance details

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 Source # 
Instance details

Defined in Hercules.CNix.Expr.Raw

type Rep RawValueType = D1 ('MetaData "RawValueType" "Hercules.CNix.Expr.Raw" "hercules-ci-cnix-expr-0.3.6.1-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 Source #

You may need to forceValue first.

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

canonicalRawType :: RawValueType -> RawValueType Source #

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.