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

4 types
2 classes
7 values

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

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

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

FromValue

5 declarations

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

1 declaration

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