Hoogle Search
Within LTS Haskell 24.33 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
primAgdaSortInf :: (HasBuiltins m, MonadError TCErr m, MonadTCEnv m, ReadTCState m) => m TermAgda Agda.TypeChecking.Monad.Builtin No documentation available.
primAgdaSortLit :: (HasBuiltins m, MonadError TCErr m, MonadTCEnv m, ReadTCState m) => m TermAgda Agda.TypeChecking.Monad.Builtin No documentation available.
primAgdaSortProp :: (HasBuiltins m, MonadError TCErr m, MonadTCEnv m, ReadTCState m) => m TermAgda Agda.TypeChecking.Monad.Builtin No documentation available.
primAgdaSortPropLit :: (HasBuiltins m, MonadError TCErr m, MonadTCEnv m, ReadTCState m) => m TermAgda Agda.TypeChecking.Monad.Builtin No documentation available.
primAgdaSortSet :: (HasBuiltins m, MonadError TCErr m, MonadTCEnv m, ReadTCState m) => m TermAgda Agda.TypeChecking.Monad.Builtin No documentation available.
-
Agda Agda.TypeChecking.Monad.Builtin No documentation available.
primAgdaTermSort :: (HasBuiltins m, MonadError TCErr m, MonadTCEnv m, ReadTCState m) => m TermAgda Agda.TypeChecking.Monad.Builtin No documentation available.
isSortJudgement :: Judgement a -> BoolAgda Agda.TypeChecking.Monad.MetaVars No documentation available.
isSortMeta :: ReadTCState m => MetaId -> m BoolAgda Agda.TypeChecking.Monad.MetaVars No documentation available.
isSortMeta_ :: MetaVariable -> BoolAgda Agda.TypeChecking.Monad.MetaVars No documentation available.