Nix.Lint

Documentation

data TAtom

Constructors

TInt

TFloat

TBool

TNull

Instances

Show TAtom

Defined in Nix.Lint

Methods

showsPrec :: Int -> TAtom -> ShowS

show :: TAtom -> String

showList :: [TAtom] -> ShowS

Eq TAtom

Defined in Nix.Lint

Methods

(==) :: TAtom -> TAtom -> Bool

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

Ord TAtom

Defined in Nix.Lint

Methods

compare :: TAtom -> TAtom -> Ordering

(<) :: TAtom -> TAtom -> Bool

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

(>) :: TAtom -> TAtom -> Bool

(>=) :: TAtom -> TAtom -> Bool

max :: TAtom -> TAtom -> TAtom

min :: TAtom -> TAtom -> TAtom

data NTypeF (m :: Type -> Type) r

Constructors

TConstant [TAtom]

TStr

TList r

TSet (Maybe (AttrSet r))

TClosure (Params ())

TPath

TBuiltin Text (Symbolic m -> m r)

Instances

Functor m => Functor (NTypeF m)

Defined in Nix.Lint

Methods

fmap :: (a -> b) -> NTypeF m a -> NTypeF m b

(<$) :: a -> NTypeF m b -> NTypeF m a

compareTypes :: NTypeF m r -> NTypeF m r -> Ordering

data NSymbolicF r

Constructors

NAny

NMany [r]

Instances

Foldable NSymbolicF

Defined in Nix.Lint

Methods

fold :: Monoid m => NSymbolicF m -> m

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

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

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

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

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

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

foldr1 :: (a -> a -> a) -> NSymbolicF a -> a

foldl1 :: (a -> a -> a) -> NSymbolicF a -> a

toList :: NSymbolicF a -> [a]

null :: NSymbolicF a -> Bool

length :: NSymbolicF a -> Int

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

maximum :: Ord a => NSymbolicF a -> a

minimum :: Ord a => NSymbolicF a -> a

sum :: Num a => NSymbolicF a -> a

product :: Num a => NSymbolicF a -> a

Traversable NSymbolicF

Defined in Nix.Lint

Methods

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

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

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

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

Functor NSymbolicF

Defined in Nix.Lint

Methods

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

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

Show r => Show (NSymbolicF r)

Defined in Nix.Lint

Methods

showsPrec :: Int -> NSymbolicF r -> ShowS

show :: NSymbolicF r -> String

showList :: [NSymbolicF r] -> ShowS

Eq r => Eq (NSymbolicF r)

Defined in Nix.Lint

Methods

(==) :: NSymbolicF r -> NSymbolicF r -> Bool

(/=) :: NSymbolicF r -> NSymbolicF r -> Bool

Ord r => Ord (NSymbolicF r)

Defined in Nix.Lint

Methods

compare :: NSymbolicF r -> NSymbolicF r -> Ordering

(<) :: NSymbolicF r -> NSymbolicF r -> Bool

(<=) :: NSymbolicF r -> NSymbolicF r -> Bool

(>) :: NSymbolicF r -> NSymbolicF r -> Bool

(>=) :: NSymbolicF r -> NSymbolicF r -> Bool

max :: NSymbolicF r -> NSymbolicF r -> NSymbolicF r

min :: NSymbolicF r -> NSymbolicF r -> NSymbolicF r

type SThunk (m :: Type -> Type) = NThunkF m (Symbolic m)

type SValue (m :: Type -> Type) = Ref m (NSymbolicF (NTypeF m (Symbolic m)))

data Symbolic m

Constructors

SV

Fields

• getSV :: SValue m

ST

Fields

• getST :: SThunk m

Instances

FromValue NixString m (Symbolic m)

Defined in Nix.Lint

Methods

fromValue :: Symbolic m -> m NixString

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

ToValue Bool m (Symbolic m)

Defined in Nix.Lint

Methods

toValue :: Bool -> m (Symbolic m)

Show (Symbolic m)

Defined in Nix.Lint

Methods

showsPrec :: Int -> Symbolic m -> ShowS

show :: Symbolic m -> String

showList :: [Symbolic m] -> ShowS

MonadLint e m => MonadEval (Symbolic m) m

Defined in Nix.Lint

Methods

freeVariable :: VarName -> m (Symbolic m)

synHole :: VarName -> m (Symbolic m)

attrMissing :: NonEmpty VarName -> Maybe (Symbolic m) -> m (Symbolic m)

evaledSym :: VarName -> Symbolic m -> m (Symbolic m)

evalCurPos :: m (Symbolic m)

evalConstant :: NAtom -> m (Symbolic m)

evalString :: NString (m (Symbolic m)) -> m (Symbolic m)

evalLiteralPath :: Path -> m (Symbolic m)

evalEnvPath :: Path -> m (Symbolic m)

evalUnary :: NUnaryOp -> Symbolic m -> m (Symbolic m)

evalBinary :: NBinaryOp -> Symbolic m -> m (Symbolic m) -> m (Symbolic m)

evalWith :: m (Symbolic m) -> m (Symbolic m) -> m (Symbolic m)

evalIf :: Symbolic m -> m (Symbolic m) -> m (Symbolic m) -> m (Symbolic m)

evalAssert :: Symbolic m -> m (Symbolic m) -> m (Symbolic m)

evalApp :: Symbolic m -> m (Symbolic m) -> m (Symbolic m)

evalAbs :: Params (m (Symbolic m)) -> (forall a. m (Symbolic m) -> (AttrSet (m (Symbolic m)) -> m (Symbolic m) -> m (a, Symbolic m)) -> m (a, Symbolic m)) -> m (Symbolic m)

evalError :: Exception s => s -> m a

(MonadThunkId m, MonadAtomicRef m, MonadCatch m) => MonadValue (Symbolic m) m

Defined in Nix.Lint

Methods

defer :: m (Symbolic m) -> m (Symbolic m)

demand :: Symbolic m -> m (Symbolic m)

inform :: Symbolic m -> m (Symbolic m)

(MonadThunkId m, MonadAtomicRef m, MonadCatch m) => MonadValueF (Symbolic m) m

Defined in Nix.Lint

Methods

demandF :: (Symbolic m -> m r) -> Symbolic m -> m r

informF :: (m (Symbolic m) -> m (Symbolic m)) -> Symbolic m -> m (Symbolic m)

ToValue [Symbolic m] m (Symbolic m)

Defined in Nix.Lint

Methods

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

Scoped (Symbolic (Lint s)) (Lint s)

Defined in Nix.Lint

Methods

askScopes :: Lint s (Scopes (Lint s) (Symbolic (Lint s)))

clearScopes :: Lint s r -> Lint s r

pushScopes :: Scopes (Lint s) (Symbolic (Lint s)) -> Lint s r -> Lint s r

lookupVar :: VarName -> Lint s (Maybe (Symbolic (Lint s)))

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))

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

Defined in Nix.Lint

Methods

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

MonadReader (Context (Lint s) (Symbolic (Lint s))) (Lint s)

Defined in Nix.Lint

Methods

ask :: Lint s (Context (Lint s) (Symbolic (Lint s)))

local :: (Context (Lint s) (Symbolic (Lint s)) -> Context (Lint s) (Symbolic (Lint s))) -> Lint s a -> Lint s a

reader :: (Context (Lint s) (Symbolic (Lint s)) -> a) -> Lint s a

everyPossible :: MonadAtomicRef m => m (Symbolic m)

mkSymbolic :: MonadAtomicRef m => [NTypeF m (Symbolic m)] -> m (Symbolic m)

mkSymbolic1 :: MonadAtomicRef m => NTypeF m (Symbolic m) -> m (Symbolic m)

packSymbolic :: MonadAtomicRef m => NSymbolicF (NTypeF m (Symbolic m)) -> m (Symbolic m)

unpackSymbolic :: (MonadAtomicRef m, MonadThunkId m, MonadCatch m) => Symbolic m -> m (NSymbolicF (NTypeF m (Symbolic m)))

type MonadLint e m = (Scoped (Symbolic m) m, Framed e m, MonadAtomicRef m, MonadCatch m, MonadThunkId m)

symerr :: forall e m a. MonadLint e m => Text -> m a

renderSymbolic :: MonadLint e m => Symbolic m -> m Text

merge :: forall e m. MonadLint e m => NExprF () -> [NTypeF m (Symbolic m)] -> [NTypeF m (Symbolic m)] -> m [NTypeF m (Symbolic m)]

unify :: forall e m a. MonadLint e m => NExprF a -> Symbolic m -> Symbolic m -> m (Symbolic m)

Result == NMany [] -> unify fails.

lintBinaryOp :: forall e m. (MonadLint e m, MonadEval (Symbolic m) m) => NBinaryOp -> Symbolic m -> m (Symbolic m) -> m (Symbolic m)

lintApp :: forall e m. MonadLint e m => NExprF () -> Symbolic m -> m (Symbolic m) -> m (HashMap VarName (Symbolic m), Symbolic m) infixl 1

newtype Lint s a

Constructors

Lint

Fields

• runLint :: ReaderT (Context (Lint s) (Symbolic (Lint s))) (FreshIdT Int (ST s)) a

Instances

MonadFix (Lint s)

Defined in Nix.Lint

Methods

mfix :: (a -> Lint s a) -> Lint s a

Applicative (Lint s)

Defined in Nix.Lint

Methods

pure :: a -> Lint s a

(<*>) :: Lint s (a -> b) -> Lint s a -> Lint s b

liftA2 :: (a -> b -> c) -> Lint s a -> Lint s b -> Lint s c

(*>) :: Lint s a -> Lint s b -> Lint s b

(<*) :: Lint s a -> Lint s b -> Lint s a

Functor (Lint s)

Defined in Nix.Lint

Methods

fmap :: (a -> b) -> Lint s a -> Lint s b

(<$) :: a -> Lint s b -> Lint s a

Monad (Lint s)

Defined in Nix.Lint

Methods

(>>=) :: Lint s a -> (a -> Lint s b) -> Lint s b

(>>) :: Lint s a -> Lint s b -> Lint s b

return :: a -> Lint s a

MonadCatch (Lint s)

Defined in Nix.Lint

Methods

catch :: Exception e => Lint s a -> (e -> Lint s a) -> Lint s a

MonadThrow (Lint s)

Defined in Nix.Lint

Methods

throwM :: Exception e => e -> Lint s a

MonadThunkId (Lint s)

Defined in Nix.Lint

Associated Types

type ThunkId (Lint s)

Methods

freshId :: Lint s (ThunkId (Lint s))

MonadAtomicRef (Lint s)

Defined in Nix.Lint

Methods

atomicModifyRef :: Ref (Lint s) a -> (a -> (a, b)) -> Lint s b

atomicModifyRef' :: Ref (Lint s) a -> (a -> (a, b)) -> Lint s b

MonadRef (Lint s)

Defined in Nix.Lint

Associated Types

type Ref (Lint s) :: Type -> Type

Methods

newRef :: a -> Lint s (Ref (Lint s) a)

readRef :: Ref (Lint s) a -> Lint s a

writeRef :: Ref (Lint s) a -> a -> Lint s ()

modifyRef :: Ref (Lint s) a -> (a -> a) -> Lint s ()

modifyRef' :: Ref (Lint s) a -> (a -> a) -> Lint s ()

Scoped (Symbolic (Lint s)) (Lint s)

Defined in Nix.Lint

Methods

askScopes :: Lint s (Scopes (Lint s) (Symbolic (Lint s)))

clearScopes :: Lint s r -> Lint s r

pushScopes :: Scopes (Lint s) (Symbolic (Lint s)) -> Lint s r -> Lint s r

lookupVar :: VarName -> Lint s (Maybe (Symbolic (Lint s)))

MonadReader (Context (Lint s) (Symbolic (Lint s))) (Lint s)

Defined in Nix.Lint

Methods

ask :: Lint s (Context (Lint s) (Symbolic (Lint s)))

local :: (Context (Lint s) (Symbolic (Lint s)) -> Context (Lint s) (Symbolic (Lint s))) -> Lint s a -> Lint s a

reader :: (Context (Lint s) (Symbolic (Lint s)) -> a) -> Lint s a

type ThunkId (Lint s)

Defined in Nix.Lint

type ThunkId (Lint s) = ThunkId (ReaderT (Context (Lint s) (Symbolic (Lint s))) (FreshIdT Int (ST s)))

type Ref (Lint s)

Defined in Nix.Lint

type Ref (Lint s) = Ref (ReaderT (Context (Lint s) (Symbolic (Lint s))) (FreshIdT Int (ST s)))

runLintM :: Options -> Lint s a -> ST s a

symbolicBaseEnv :: Monad m => m (Scopes m (Symbolic m))

lint :: Options -> NExprLoc -> ST s (Symbolic (Lint s))