Modulehnix-0.17.0Haskell2010

Nix.Lint

Synopsis

data TAtom
data NTypeF
value compareTypes
data NSymbolicF
type SThunk
type SValue
data Symbolic
value everyPossible
value mkSymbolic
value mkSymbolic1
value packSymbolic
value unpackSymbolic
type MonadLint
value symerr
value renderSymbolic
value merge
value unify
value lintBinaryOp
value lintApp
newtype Lint
value runLintM
value symbolicBaseEnv
value lint

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)

Source#

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