Modulehnix-0.17.0Haskell2010

Nix.Lint

8 types
15 values

Packagehnix-0.17.0
Exports23
LanguageHaskell2010
LicenceBSD-3-Clause
SourceLint.hs

datadata TAtom

TInt TFloat TBool TNull

Instances3Eq, Ord, Show

Eq TAtomDefined in hnix-0.17.0 · Nix.Lint
Ord TAtomDefined in hnix-0.17.0 · Nix.Lint
Show TAtomDefined in hnix-0.17.0 · Nix.Lint

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

Constructors

TConstant [TAtom]
TStr
TList r
TSet (Maybe (AttrSet r))
TClosure (Params ())
TPath
TBuiltin Text (Symbolic m -> m r)

Instances1Functor

Functor m => Functor (NTypeF m)Defined in hnix-0.17.0 · Nix.Lint

valuecompareTypes :: NTypeF m r -> NTypeF m r -> Ordering

datadata NSymbolicF r

Constructors

NAny
NMany [r]

Instances6Functor, Foldable, Traversable, Eq, Ord, Show

Functor NSymbolicFDefined in hnix-0.17.0 · Nix.Lint
Foldable NSymbolicFDefined in hnix-0.17.0 · Nix.Lint
Traversable NSymbolicFDefined in hnix-0.17.0 · Nix.Lint
Eq r => Eq (NSymbolicF r)Defined in hnix-0.17.0 · Nix.Lint
Ord r => Ord (NSymbolicF r)Defined in hnix-0.17.0 · Nix.Lint
Show r => Show (NSymbolicF r)Defined in hnix-0.17.0 · Nix.Lint

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

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

datadata Symbolic (m :: Type -> Type)

Constructors

SV
- getSV :: SValue m
ST
- getST :: SThunk m

Instances11Show, MonadValue, MonadEval, MonadValueF, Scoped, FromValue, …

FromValue NixString m (Symbolic m)Defined in hnix-0.17.0 · Nix.Lint
ToValue Bool m (Symbolic m)Defined in hnix-0.17.0 · Nix.Lint
Show (Symbolic m)Defined in hnix-0.17.0 · Nix.Lint
(MonadThunkId m, MonadAtomicRef m, MonadCatch m) => MonadValue (Symbolic m) mDefined in hnix-0.17.0 · Nix.Lint
MonadLint e m => MonadEval (Symbolic m) mDefined in hnix-0.17.0 · Nix.Lint
(MonadThunkId m, MonadAtomicRef m, MonadCatch m) => MonadValueF (Symbolic m) mDefined in hnix-0.17.0 · Nix.Lint
ToValue [Symbolic m] m (Symbolic m)Defined in hnix-0.17.0 · Nix.Lint
Scoped (Symbolic (Lint s)) (Lint s)Defined in hnix-0.17.0 · Nix.Lint
FromValue (AttrSet (Symbolic m), PositionSet) m (Symbolic m)Defined in hnix-0.17.0 · Nix.Lint
ToValue (AttrSet (Symbolic m), PositionSet) m (Symbolic m)Defined in hnix-0.17.0 · Nix.Lint
MonadReader (Context (Lint s) (Symbolic (Lint s))) (Lint s)Defined in hnix-0.17.0 · Nix.Lint

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

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

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

valuepackSymbolic

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

valueunpackSymbolic

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

type

type MonadLint e (m :: Type -> Type) = (Scoped (Symbolic m) m, Framed e m, MonadAtomicRef m, MonadCatch m, MonadThunkId m)

valuesymerr :: MonadLint e m => Text -> m a

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

valuemerge

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

valueunify

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

Result == NMany [] -> unify fails.

valuelintBinaryOp

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

valuelintApp

:: MonadLint e m
=> NExprF ()
-> Symbolic m
-> m (Symbolic m)
-> m (HashMap VarName (Symbolic m), Symbolic m)

newtypenewtype Lint s a

Constructors

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

Instances13Monad, Functor, MonadFix, Applicative, MonadCatch, MonadThrow, …

Monad (Lint s)Defined in hnix-0.17.0 · Nix.Lint
Functor (Lint s)Defined in hnix-0.17.0 · Nix.Lint
MonadFix (Lint s)Defined in hnix-0.17.0 · Nix.Lint
Applicative (Lint s)Defined in hnix-0.17.0 · Nix.Lint
MonadCatch (Lint s)Defined in hnix-0.17.0 · Nix.Lint
MonadThrow (Lint s)Defined in hnix-0.17.0 · Nix.Lint
MonadAtomicRef (Lint s)Defined in hnix-0.17.0 · Nix.Lint
MonadRef (Lint s)Defined in hnix-0.17.0 · Nix.Lint
MonadThunkId (Lint s)Defined in hnix-0.17.0 · Nix.Lint
Scoped (Symbolic (Lint s)) (Lint s)Defined in hnix-0.17.0 · Nix.Lint
MonadReader (Context (Lint s) (Symbolic (Lint s))) (Lint s)Defined in hnix-0.17.0 · Nix.Lint
type Ref (Lint s) = Ref (ReaderT (Context (Lint s) (Symbolic (Lint s))) (FreshIdT Int (ST s)))Defined in hnix-0.17.0 · Nix.Lint
type ThunkId (Lint s) = ThunkId (ReaderT (Context (Lint s) (Symbolic (Lint s))) (FreshIdT Int (ST s)))Defined in hnix-0.17.0 · Nix.Lint

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

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

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