Nix.Lint

Documentation

data TAtom

Constructors

TInt

TFloat

TBool

TNull

Instances

Eq TAtom

Methods

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

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

Ord TAtom

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

Show TAtom

Methods

showsPrec :: Int -> TAtom -> ShowS

show :: TAtom -> String

showList :: [TAtom] -> ShowS

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

Constructors

TConstant [TAtom]

TStr

TList r

TSet (Maybe (HashMap Text r))

TClosure (Params ())

TPath

TBuiltin String (SThunk m -> m (Symbolic m))

Instances

Functor (NTypeF m)

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

Functor NSymbolicF

Methods

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

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

Foldable NSymbolicF

Methods

fold :: Monoid m => NSymbolicF m -> 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

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)

Eq r => Eq (NSymbolicF r)

Methods

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

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

Ord r => Ord (NSymbolicF r)

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

Show r => Show (NSymbolicF r)

Methods

showsPrec :: Int -> NSymbolicF r -> ShowS

show :: NSymbolicF r -> String

showList :: [NSymbolicF r] -> ShowS

newtype SThunk m

Constructors

SThunk

Fields

• getSThunk :: Thunk m (Symbolic m)

Instances

ToValue [SThunk m] m (Symbolic m)

Methods

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

MonadLint e m => MonadThunk (Symbolic m) (SThunk m) m

Methods

thunk :: m (Symbolic m) -> m (SThunk m)

force :: SThunk m -> (Symbolic m -> m r) -> m r

value :: Symbolic m -> SThunk m

ToValue (AttrSet (SThunk m), AttrSet SourcePos) m (Symbolic m)

Methods

toValue :: (AttrSet (SThunk m), AttrSet SourcePos) -> m (Symbolic m)

FromValue (AttrSet (SThunk m), AttrSet SourcePos) m (Symbolic m)

Methods

fromValue :: Symbolic m -> m (AttrSet (SThunk m), AttrSet SourcePos)

fromValueMay :: Symbolic m -> m (Maybe (AttrSet (SThunk m), AttrSet SourcePos))

MonadReader (Context (Lint s) (SThunk (Lint s))) (Lint s)

Methods

ask :: Lint s (Context (Lint s) (SThunk (Lint s)))

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

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

newtype Symbolic m

Constructors

Symbolic

Fields

• getSymbolic :: Var m (NSymbolicF (NTypeF m (SThunk m)))

Instances

ToValue Bool m (Symbolic m)

Methods

toValue :: Bool -> m (Symbolic m)

Show (Symbolic m)

Methods

showsPrec :: Int -> Symbolic m -> ShowS

show :: Symbolic m -> String

showList :: [Symbolic m] -> ShowS

MonadLint e m => MonadEval (Symbolic m) m

Methods

freeVariable :: Text -> m (Symbolic m)

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

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

evalCurPos :: m (Symbolic m)

evalConstant :: NAtom -> m (Symbolic m)

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

evalLiteralPath :: FilePath -> m (Symbolic m)

evalEnvPath :: FilePath -> 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

ToValue [SThunk m] m (Symbolic m)

Methods

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

MonadLint e m => MonadThunk (Symbolic m) (SThunk m) m

Methods

thunk :: m (Symbolic m) -> m (SThunk m)

force :: SThunk m -> (Symbolic m -> m r) -> m r

value :: Symbolic m -> SThunk m

ToValue (AttrSet (SThunk m), AttrSet SourcePos) m (Symbolic m)

Methods

toValue :: (AttrSet (SThunk m), AttrSet SourcePos) -> m (Symbolic m)

FromValue (Text, DList Text) m (Symbolic m)

Methods

fromValue :: Symbolic m -> m (Text, DList Text)

fromValueMay :: Symbolic m -> m (Maybe (Text, DList Text))

FromValue (AttrSet (SThunk m), AttrSet SourcePos) m (Symbolic m)

Methods

fromValue :: Symbolic m -> m (AttrSet (SThunk m), AttrSet SourcePos)

fromValueMay :: Symbolic m -> m (Maybe (AttrSet (SThunk m), AttrSet SourcePos))

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

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

packSymbolic :: MonadVar m => NSymbolicF (NTypeF m (SThunk m)) -> m (Symbolic m)

unpackSymbolic :: MonadVar m => Symbolic m -> m (NSymbolicF (NTypeF m (SThunk m)))

type MonadLint e m = (Scoped e (SThunk m) m, Framed e m, MonadVar m)

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

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

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

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

unify raises an error if the result is would be 'NMany []'.

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) (SThunk (Lint s))) (ST s) a

Instances

Monad (Lint s)

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

fail :: String -> Lint s a

Functor (Lint s)

Methods

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

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

MonadFix (Lint s)

Methods

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

Applicative (Lint s)

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

MonadThrow (Lint s)

Methods

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

MonadVar (Lint s)

Associated Types

type Var (Lint s :: * -> *) :: * -> *

Methods

newVar :: a -> Lint s (Var (Lint s) a)

readVar :: Var (Lint s) a -> Lint s a

writeVar :: Var (Lint s) a -> a -> Lint s ()

atomicModifyVar :: Var (Lint s) a -> (a -> (a, b)) -> Lint s b

MonadReader (Context (Lint s) (SThunk (Lint s))) (Lint s)

Methods

ask :: Lint s (Context (Lint s) (SThunk (Lint s)))

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

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

type Var (Lint s)

type Var (Lint s) = STRef s

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

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

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