Modulehnix-0.17.0Haskell2010

Nix.Convert

Although there are a lot of instances in this file, really it's just a combinatorial explosion of the following combinations:

Several Haskell types being converted to/from Nix wrappers
Several types of Nix wrappers
Whether to be shallow or deep while unwrapping

Contents

FromValue
ToValue

Synopsis

newtype Deeper
type CoerceDeeperToNValue
type CoerceDeeperToNValue'
type Convertible
value inHask
value inHaskM
value inHaskMay
class FromValue
value traverseFromValue
value traverseToValue
value fromMayToValue
value fromMayToDeeperValue
class ToValue

Packagehnix-0.17.0
Exports13
LanguageHaskell2010
LicenceBSD-3-Clause
SourceConvert.hs

newtypenewtype Deeper a

Constructors

Deeper a

Instances12Functor, Foldable, Traversable, FromValue, ToValue, …

Functor DeeperDefined in hnix-0.17.0 · Nix.Convert
Foldable DeeperDefined in hnix-0.17.0 · Nix.Convert
Traversable DeeperDefined in hnix-0.17.0 · Nix.Convert
(Convertible e t f m, FromValue a m (NValue' t f m (NValue t f m))) => FromValue a m (Deeper (NValue' t f m (NValue t f m)))Defined in hnix-0.17.0 · Nix.Convert
(Convertible e t f m, MonadValue (NValue t f m) m, FromValue a m (Deeper (NValue' t f m (NValue t f m)))) => FromValue a m (Deeper (NValue t f m))Defined in hnix-0.17.0 · Nix.Convert
(Convertible e t f m, ToValue a m (Deeper (NValue' t f m (NValue t f m)))) => ToValue a m (Deeper (NValue t f m))Defined in hnix-0.17.0 · Nix.Convert
(Convertible e t f m, FromValue a m (NValue t f m)) => FromValue (AttrSet a) m (Deeper (NValue' t f m (NValue t f m)))Defined in hnix-0.17.0 · Nix.Convert
(Convertible e t f m, FromValue a m (NValue t f m)) => FromValue [a] m (Deeper (NValue' t f m (NValue t f m)))Defined in hnix-0.17.0 · Nix.Convert
(Convertible e t f m, ToValue a m (NValue t f m)) => ToValue (AttrSet a) m (Deeper (NValue' t f m (NValue t f m)))Defined in hnix-0.17.0 · Nix.Convert
(Convertible e t f m, ToValue a m (NValue t f m)) => ToValue [a] m (Deeper (NValue' t f m (NValue t f m)))Defined in hnix-0.17.0 · Nix.Convert
(Convertible e t f m, FromValue a m (NValue t f m)) => FromValue (AttrSet a, PositionSet) m (Deeper (NValue' t f m (NValue t f m)))Defined in hnix-0.17.0 · Nix.Convert
(Convertible e t f m, ToValue a m (NValue t f m)) => ToValue (AttrSet a, PositionSet) m (Deeper (NValue' t f m (NValue t f m)))Defined in hnix-0.17.0 · Nix.Convert

typetype CoerceDeeperToNValue t (f :: Type -> Type) (m :: Type -> Type) = Deeper (NValue t f m) -> NValue t f m

type

type CoerceDeeperToNValue' t (f :: Type -> Type) (m :: Type -> Type) = Deeper (NValue' t f m (NValue t f m)) -> NValue' t f m (NValue t f m)

type

type Convertible e t (f :: Type -> Type) (m :: Type -> Type) = (Framed e m, MonadDataErrorContext t f m, MonadThunk t m (NValue t f m))

valueinHask

:: (Monad m, FromValue a1 m v, ToValue a2 m b)
=> a1 -> a2
-> v
-> m b

Source#

Transform Nix -> Hask. Run function. Convert Hask -> Nix.

valueinHaskM

:: (Monad m, FromValue a1 m v, ToValue a2 m b)
=> a1 -> m a2
-> v
-> m b

valueinHaskMay

:: (Monad m, FromValue a1 m v, ToValue a2 m b)
=> Maybe a1 -> a2
-> v
-> m b

Source#

Maybe transform Nix -> Hask. Run function. Convert Hask -> Nix.

FromValue

classclass FromValue a (m :: Type -> Type) v where

Methods

fromValue :: v -> m a
fromValueMay :: v -> m (Maybe a)

Instances22FromValue, …

FromValue NixString m (Symbolic m)Defined in hnix-0.17.0 · Nix.Lint
(Convertible e t f m, FromValue a m (NValue' t f m (NValue t f m))) => FromValue a m (Deeper (NValue' t f m (NValue t f m)))Defined in hnix-0.17.0 · Nix.Convert
(Convertible e t f m, MonadValue (NValue t f m) m, FromValue a m (Deeper (NValue' t f m (NValue t f m)))) => FromValue a m (Deeper (NValue t f m))Defined in hnix-0.17.0 · Nix.Convert
(Convertible e t f m, MonadValue (NValue t f m) m, FromValue a m (NValue' t f m (NValue t f m))) => FromValue a m (NValue t f m)Defined in hnix-0.17.0 · Nix.Convert
Convertible e t f m => FromValue ByteString m (NValue' t f m (NValue t f m))Defined in hnix-0.17.0 · Nix.Convert
Convertible e t f m => FromValue Integer m (NValue' t f m (NValue t f m))Defined in hnix-0.17.0 · Nix.Convert
Convertible e t f m => FromValue Bool m (NValue' t f m (NValue t f m))Defined in hnix-0.17.0 · Nix.Convert
Convertible e t f m => FromValue Float m (NValue' t f m (NValue t f m))Defined in hnix-0.17.0 · Nix.Convert
Convertible e t f m => FromValue Int m (NValue' t f m (NValue t f m))Defined in hnix-0.17.0 · Nix.Convert
Convertible e t f m => FromValue Text m (NValue' t f m (NValue t f m))Defined in hnix-0.17.0 · Nix.Convert
Convertible e t f m => FromValue () m (NValue' t f m (NValue t f m))Defined in hnix-0.17.0 · Nix.Convert
(Convertible e t f m, MonadValue (NValue t f m) m) => FromValue Path m (NValue' t f m (NValue t f m))Defined in hnix-0.17.0 · Nix.Convert
(Convertible e t f m, MonadValue (NValue t f m) m, MonadEffects t f m) => FromValue NixString m (NValue' t f m (NValue t f m))Defined in hnix-0.17.0 · Nix.Convert
Monad m => FromValue NixString (InferT s m) (Judgment s)Defined in hnix-0.17.0 · Nix.Type.Infer
(Convertible e t f m, FromValue a m (NValue t f m)) => FromValue (AttrSet a) m (Deeper (NValue' t f m (NValue t f m)))Defined in hnix-0.17.0 · Nix.Convert
(Convertible e t f m, FromValue a m (NValue t f m)) => FromValue [a] m (Deeper (NValue' t f m (NValue t f m)))Defined in hnix-0.17.0 · Nix.Convert
Convertible e t f m => FromValue (AttrSet (NValue t f m)) m (NValue' t f m (NValue t f m))Defined in hnix-0.17.0 · Nix.Convert
Convertible e t f m => FromValue [NValue t f m] m (NValue' t f m (NValue t f m))Defined in hnix-0.17.0 · Nix.Convert
FromValue (AttrSet (Symbolic m), PositionSet) m (Symbolic m)Defined in hnix-0.17.0 · Nix.Lint
(Convertible e t f m, FromValue a m (NValue t f m)) => FromValue (AttrSet a, PositionSet) m (Deeper (NValue' t f m (NValue t f m)))Defined in hnix-0.17.0 · Nix.Convert
Convertible e t f m => FromValue (AttrSet (NValue t f m), PositionSet) m (NValue' t f m (NValue t f m))Defined in hnix-0.17.0 · Nix.Convert
MonadInfer m => FromValue (AttrSet (Judgment s), PositionSet) (InferT s m) (Judgment s)Defined in hnix-0.17.0 · Nix.Type.Infer

valuetraverseFromValue

:: (Applicative m, Traversable t, FromValue b m a)
=> t a
-> m (Maybe (t b))

valuetraverseToValue

:: (Traversable t, Applicative f, ToValue a f b)
=> t a
-> f (t b)

valuefromMayToValue

:: (Convertible e t f m, FromValue a m (NValue' t f m (NValue t f m)))
=> ValueType
-> NValue' t f m (NValue t f m)
-> m a

valuefromMayToDeeperValue

:: (Convertible e t f m, FromValue (m1 a) m (Deeper (NValue' t f m (NValue t f m))))
=> ValueType
-> Deeper (NValue' t f m (NValue t f m))
-> m (m1 a)

ToValue

classclass ToValue a (m :: Type -> Type) v where

Methods

toValue :: a -> m v

Instances29ToValue, …

Convertible e t f m => ToValue Bool m (NExprF (NValue t f m))Defined in hnix-0.17.0 · Nix.Convert
Convertible e t f m => ToValue () m (NExprF (NValue t f m))Defined in hnix-0.17.0 · Nix.Convert
ToValue Bool m (Symbolic m)Defined in hnix-0.17.0 · Nix.Lint
(Convertible e t f m, ToValue a m (Deeper (NValue' t f m (NValue t f m)))) => ToValue a m (Deeper (NValue t f m))Defined in hnix-0.17.0 · Nix.Convert
Convertible e t f m => ToValue FileType m (NValue t f m)Defined in hnix-0.17.0 · Nix.Builtins
(Convertible e t f m, ToValue a m (NValue' t f m (NValue t f m))) => ToValue a m (NValue t f m)Defined in hnix-0.17.0 · Nix.Convert
Convertible e t f m => ToValue ByteString m (NValue' t f m (NValue t f m))Defined in hnix-0.17.0 · Nix.Convert
Convertible e t f m => ToValue Integer m (NValue' t f m (NValue t f m))Defined in hnix-0.17.0 · Nix.Convert
Convertible e t f m => ToValue Bool m (NValue' t f m (NValue t f m))Defined in hnix-0.17.0 · Nix.Convert
Convertible e t f m => ToValue Float m (NValue' t f m (NValue t f m))Defined in hnix-0.17.0 · Nix.Convert
Convertible e t f m => ToValue Int m (NValue' t f m (NValue t f m))Defined in hnix-0.17.0 · Nix.Convert
Convertible e t f m => ToValue StorePath m (NValue' t f m (NValue t f m))Defined in hnix-0.17.0 · Nix.Convert
Convertible e t f m => ToValue NSourcePos m (NValue' t f m (NValue t f m))Defined in hnix-0.17.0 · Nix.Convert
Convertible e t f m => ToValue NixLikeContextValue m (NValue' t f m (NValue t f m))Defined in hnix-0.17.0 · Nix.Convert
Convertible e t f m => ToValue NixString m (NValue' t f m (NValue t f m))Defined in hnix-0.17.0 · Nix.Convert
Convertible e t f m => ToValue Path m (NValue' t f m (NValue t f m))Defined in hnix-0.17.0 · Nix.Convert
Convertible e t f m => ToValue Text m (NValue' t f m (NValue t f m))Defined in hnix-0.17.0 · Nix.Convert
Convertible e t f m => ToValue () m (NValue' t f m (NValue t f m))Defined in hnix-0.17.0 · Nix.Convert
MonadInfer m => ToValue Bool (InferT s m) (Judgment s)Defined in hnix-0.17.0 · Nix.Type.Infer
ToValue [Symbolic m] m (Symbolic m)Defined in hnix-0.17.0 · Nix.Lint
(Convertible e t f m, ToValue a m (NValue t f m)) => ToValue (AttrSet a) m (Deeper (NValue' t f m (NValue t f m)))Defined in hnix-0.17.0 · Nix.Convert
(Convertible e t f m, ToValue a m (NValue t f m)) => ToValue [a] m (Deeper (NValue' t f m (NValue t f m)))Defined in hnix-0.17.0 · Nix.Convert
Convertible e t f m => ToValue (AttrSet (NValue t f m)) m (NValue' t f m (NValue t f m))Defined in hnix-0.17.0 · Nix.Convert
Convertible e t f m => ToValue [NValue t f m] m (NValue' t f m (NValue t f m))Defined in hnix-0.17.0 · Nix.Convert
With ToValue, we can always act recursively
MonadInfer m => ToValue [Judgment s] (InferT s m) (Judgment s)Defined in hnix-0.17.0 · Nix.Type.Infer
ToValue (AttrSet (Symbolic m), PositionSet) m (Symbolic m)Defined in hnix-0.17.0 · Nix.Lint
(Convertible e t f m, ToValue a m (NValue t f m)) => ToValue (AttrSet a, PositionSet) m (Deeper (NValue' t f m (NValue t f m)))Defined in hnix-0.17.0 · Nix.Convert
Convertible e t f m => ToValue (AttrSet (NValue t f m), PositionSet) m (NValue' t f m (NValue t f m))Defined in hnix-0.17.0 · Nix.Convert
MonadInfer m => ToValue (AttrSet (Judgment s), PositionSet) (InferT s m) (Judgment s)Defined in hnix-0.17.0 · Nix.Type.Infer