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

Documentation

newtype Deeper a

Constructors

Deeper a

Instances

Functor Deeper

Defined in Nix.Convert

Methods

fmap :: (a -> b) -> Deeper a -> Deeper b

(<$) :: a -> Deeper b -> Deeper a

Foldable Deeper

Defined in Nix.Convert

Methods

fold :: Monoid m => Deeper m -> m

foldMap :: Monoid m => (a -> m) -> Deeper a -> m

foldMap' :: Monoid m => (a -> m) -> Deeper a -> m

foldr :: (a -> b -> b) -> b -> Deeper a -> b

foldr' :: (a -> b -> b) -> b -> Deeper a -> b

foldl :: (b -> a -> b) -> b -> Deeper a -> b

foldl' :: (b -> a -> b) -> b -> Deeper a -> b

foldr1 :: (a -> a -> a) -> Deeper a -> a

foldl1 :: (a -> a -> a) -> Deeper a -> a

toList :: Deeper a -> [a]

null :: Deeper a -> Bool

length :: Deeper a -> Int

elem :: Eq a => a -> Deeper a -> Bool

maximum :: Ord a => Deeper a -> a

minimum :: Ord a => Deeper a -> a

sum :: Num a => Deeper a -> a

product :: Num a => Deeper a -> a

Traversable Deeper

Defined in Nix.Convert

Methods

traverse :: Applicative f => (a -> f b) -> Deeper a -> f (Deeper b)

sequenceA :: Applicative f => Deeper (f a) -> f (Deeper a)

mapM :: Monad m => (a -> m b) -> Deeper a -> m (Deeper b)

sequence :: Monad m => Deeper (m a) -> m (Deeper a)

(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 Nix.Convert

Methods

toValue :: a -> m (Deeper (NValue t f m))

(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 Nix.Convert

Methods

fromValue :: Deeper (NValue' t f m (NValue t f m)) -> m a

fromValueMay :: Deeper (NValue' t f m (NValue t f m)) -> m (Maybe a)

(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 Nix.Convert

Methods

fromValue :: Deeper (NValue t f m) -> m a

fromValueMay :: Deeper (NValue t f m) -> m (Maybe a)

(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 Nix.Convert

Methods

toValue :: [a] -> m (Deeper (NValue' t f m (NValue t f m)))

(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 Nix.Convert

Methods

toValue :: AttrSet a -> m (Deeper (NValue' t f m (NValue t f m)))

(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 Nix.Convert

Methods

fromValue :: Deeper (NValue' t f m (NValue t f m)) -> m [a]

fromValueMay :: Deeper (NValue' t f m (NValue t f m)) -> m (Maybe [a])

(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 Nix.Convert

Methods

fromValue :: Deeper (NValue' t f m (NValue t f m)) -> m (AttrSet a)

fromValueMay :: Deeper (NValue' t f m (NValue t f m)) -> m (Maybe (AttrSet a))

(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 Nix.Convert

Methods

toValue :: (AttrSet a, PositionSet) -> m (Deeper (NValue' t f m (NValue t f m)))

(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 Nix.Convert

Methods

fromValue :: Deeper (NValue' t f m (NValue t f m)) -> m (AttrSet a, PositionSet)

fromValueMay :: Deeper (NValue' t f m (NValue t f m)) -> m (Maybe (AttrSet a, PositionSet))

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

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

type Convertible e t f m = (Framed e m, MonadDataErrorContext t f m, MonadThunk t m (NValue t f m))

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

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

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

inHaskMay :: forall a1 a2 v b m. (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

class FromValue a m v where

Methods

fromValue :: v -> m a

fromValueMay :: v -> m (Maybe a)

Instances

(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 Nix.Convert

Methods

fromValue :: Deeper (NValue' t f m (NValue t f m)) -> m a

fromValueMay :: Deeper (NValue' t f m (NValue t f m)) -> m (Maybe a)

(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 Nix.Convert

Methods

fromValue :: Deeper (NValue t f m) -> m a

fromValueMay :: Deeper (NValue t f m) -> m (Maybe a)

FromValue NixString m (Symbolic m)

Defined in Nix.Lint

Methods

fromValue :: Symbolic m -> m NixString

fromValueMay :: Symbolic m -> m (Maybe NixString)

(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 Nix.Convert

Methods

fromValue :: NValue t f m -> m a

fromValueMay :: NValue t f m -> m (Maybe a)

Convertible e t f m => FromValue Bool m (NValue' t f m (NValue t f m))

Defined in Nix.Convert

Methods

fromValue :: NValue' t f m (NValue t f m) -> m Bool

fromValueMay :: NValue' t f m (NValue t f m) -> m (Maybe Bool)

Convertible e t f m => FromValue Float m (NValue' t f m (NValue t f m))

Defined in Nix.Convert

Methods

fromValue :: NValue' t f m (NValue t f m) -> m Float

fromValueMay :: NValue' t f m (NValue t f m) -> m (Maybe Float)

Convertible e t f m => FromValue Int m (NValue' t f m (NValue t f m))

Defined in Nix.Convert

Methods

fromValue :: NValue' t f m (NValue t f m) -> m Int

fromValueMay :: NValue' t f m (NValue t f m) -> m (Maybe Int)

Convertible e t f m => FromValue Integer m (NValue' t f m (NValue t f m))

Defined in Nix.Convert

Methods

fromValue :: NValue' t f m (NValue t f m) -> m Integer

fromValueMay :: NValue' t f m (NValue t f m) -> m (Maybe Integer)

Convertible e t f m => FromValue () m (NValue' t f m (NValue t f m))

Defined in Nix.Convert

Methods

fromValue :: NValue' t f m (NValue t f m) -> m ()

fromValueMay :: NValue' t f m (NValue t f m) -> m (Maybe ())

Convertible e t f m => FromValue ByteString m (NValue' t f m (NValue t f m))

Defined in Nix.Convert

Methods

fromValue :: NValue' t f m (NValue t f m) -> m ByteString

fromValueMay :: NValue' t f m (NValue t f m) -> m (Maybe ByteString)

Convertible e t f m => FromValue Text m (NValue' t f m (NValue t f m))

Defined in Nix.Convert

Methods

fromValue :: NValue' t f m (NValue t f m) -> m Text

fromValueMay :: NValue' t f m (NValue t f m) -> m (Maybe Text)

(Convertible e t f m, MonadValue (NValue t f m) m) => FromValue Path m (NValue' t f m (NValue t f m))

Defined in Nix.Convert

Methods

fromValue :: NValue' t f m (NValue t f m) -> m Path

fromValueMay :: NValue' t f m (NValue t f m) -> m (Maybe Path)

(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 Nix.Convert

Methods

fromValue :: NValue' t f m (NValue t f m) -> m NixString

fromValueMay :: NValue' t f m (NValue t f m) -> m (Maybe NixString)

(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 Nix.Convert

Methods

fromValue :: Deeper (NValue' t f m (NValue t f m)) -> m [a]

fromValueMay :: Deeper (NValue' t f m (NValue t f m)) -> m (Maybe [a])

(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 Nix.Convert

Methods

fromValue :: Deeper (NValue' t f m (NValue t f m)) -> m (AttrSet a)

fromValueMay :: Deeper (NValue' t f m (NValue t f m)) -> m (Maybe (AttrSet a))

Convertible e t f m => FromValue [NValue t f m] m (NValue' t f m (NValue t f m))

Defined in Nix.Convert

Methods

fromValue :: NValue' t f m (NValue t f m) -> m [NValue t f m]

fromValueMay :: NValue' t f m (NValue t f m) -> m (Maybe [NValue t f m])

Convertible e t f m => FromValue (AttrSet (NValue t f m)) m (NValue' t f m (NValue t f m))

Defined in Nix.Convert

Methods

fromValue :: NValue' t f m (NValue t f m) -> m (AttrSet (NValue t f m))

fromValueMay :: NValue' t f m (NValue t f m) -> m (Maybe (AttrSet (NValue t f m)))

(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 Nix.Convert

Methods

fromValue :: Deeper (NValue' t f m (NValue t f m)) -> m (AttrSet a, PositionSet)

fromValueMay :: Deeper (NValue' t f m (NValue t f m)) -> m (Maybe (AttrSet a, PositionSet))

FromValue (AttrSet (Symbolic m), PositionSet) m (Symbolic m)

Defined in Nix.Lint

Methods

fromValue :: Symbolic m -> m (AttrSet (Symbolic m), PositionSet)

fromValueMay :: Symbolic m -> m (Maybe (AttrSet (Symbolic m), PositionSet))

Convertible e t f m => FromValue (AttrSet (NValue t f m), PositionSet) m (NValue' t f m (NValue t f m))

Defined in Nix.Convert

Methods

fromValue :: NValue' t f m (NValue t f m) -> m (AttrSet (NValue t f m), PositionSet)

fromValueMay :: NValue' t f m (NValue t f m) -> m (Maybe (AttrSet (NValue t f m), PositionSet))

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

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

fromMayToValue :: forall t f m a e. (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

fromMayToDeeperValue :: forall t f m a e m1. (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

class ToValue a m v where

Methods

toValue :: a -> m v

Instances

Convertible e t f m => ToValue Bool m (NExprF (NValue t f m))

Defined in Nix.Convert

Methods

toValue :: Bool -> m (NExprF (NValue t f m))

ToValue Bool m (Symbolic m)

Defined in Nix.Lint

Methods

toValue :: Bool -> m (Symbolic m)

Convertible e t f m => ToValue () m (NExprF (NValue t f m))

Defined in Nix.Convert

Methods

toValue :: () -> m (NExprF (NValue t f m))

(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 Nix.Convert

Methods

toValue :: a -> m (Deeper (NValue t f m))

(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 Nix.Convert

Methods

toValue :: a -> m (NValue t f m)

Convertible e t f m => ToValue Bool m (NValue' t f m (NValue t f m))

Defined in Nix.Convert

Methods

toValue :: Bool -> m (NValue' t f m (NValue t f m))

Convertible e t f m => ToValue Float m (NValue' t f m (NValue t f m))

Defined in Nix.Convert

Methods

toValue :: Float -> m (NValue' t f m (NValue t f m))

Convertible e t f m => ToValue Int m (NValue' t f m (NValue t f m))

Defined in Nix.Convert

Methods

toValue :: Int -> m (NValue' t f m (NValue t f m))

Convertible e t f m => ToValue Integer m (NValue' t f m (NValue t f m))

Defined in Nix.Convert

Methods

toValue :: Integer -> m (NValue' t f m (NValue t f m))

Convertible e t f m => ToValue () m (NValue' t f m (NValue t f m))

Defined in Nix.Convert

Methods

toValue :: () -> m (NValue' t f m (NValue t f m))

Convertible e t f m => ToValue ByteString m (NValue' t f m (NValue t f m))

Defined in Nix.Convert

Methods

toValue :: ByteString -> m (NValue' t f m (NValue t f m))

Convertible e t f m => ToValue Text m (NValue' t f m (NValue t f m))

Defined in Nix.Convert

Methods

toValue :: Text -> m (NValue' t f m (NValue t f m))

Convertible e t f m => ToValue SourcePos m (NValue' t f m (NValue t f m))

Defined in Nix.Convert

Methods

toValue :: SourcePos -> m (NValue' t f m (NValue t f m))

Convertible e t f m => ToValue Path m (NValue' t f m (NValue t f m))

Defined in Nix.Convert

Methods

toValue :: Path -> m (NValue' t f m (NValue t f m))

Convertible e t f m => ToValue NixString m (NValue' t f m (NValue t f m))

Defined in Nix.Convert

Methods

toValue :: NixString -> m (NValue' t f m (NValue t f m))

Convertible e t f m => ToValue NixLikeContextValue m (NValue' t f m (NValue t f m))

Defined in Nix.Convert

Methods

toValue :: NixLikeContextValue -> m (NValue' t f m (NValue t f m))

Convertible e t f m => ToValue StorePath m (NValue' t f m (NValue t f m))

Defined in Nix.Convert

Methods

toValue :: StorePath -> m (NValue' t f m (NValue t f m))

(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 Nix.Convert

Methods

toValue :: [a] -> m (Deeper (NValue' t f m (NValue t f m)))

ToValue [Symbolic m] m (Symbolic m)

Defined in Nix.Lint

Methods

toValue :: [Symbolic m] -> m (Symbolic m)

(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 Nix.Convert

Methods

toValue :: AttrSet a -> m (Deeper (NValue' t f m (NValue t f m)))

Convertible e t f m => ToValue [NValue t f m] m (NValue' t f m (NValue t f m))

With ToValue, we can always act recursively

Defined in Nix.Convert

Methods

toValue :: [NValue t f m] -> m (NValue' t f m (NValue t f m))

Convertible e t f m => ToValue (AttrSet (NValue t f m)) m (NValue' t f m (NValue t f m))

Defined in Nix.Convert

Methods

toValue :: AttrSet (NValue t f m) -> m (NValue' t f m (NValue t f m))

(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 Nix.Convert

Methods

toValue :: (AttrSet a, PositionSet) -> m (Deeper (NValue' t f m (NValue t f m)))

ToValue (AttrSet (Symbolic m), PositionSet) m (Symbolic m)

Defined in Nix.Lint

Methods

toValue :: (AttrSet (Symbolic m), PositionSet) -> m (Symbolic m)

Convertible e t f m => ToValue (AttrSet (NValue t f m), PositionSet) m (NValue' t f m (NValue t f m))

Defined in Nix.Convert

Methods

toValue :: (AttrSet (NValue t f m), PositionSet) -> m (NValue' t f m (NValue t f m))