UVMHS.Lib.Variables
data 𝕏 Source #
Constructors
Fields
Defined in UVMHS.Lib.Variables
Methods
showsPrec :: Int -> 𝕏 -> ShowS #
show :: 𝕏 -> String #
showList :: [𝕏] -> ShowS #
(==) :: 𝕏 -> 𝕏 -> Bool #
(/=) :: 𝕏 -> 𝕏 -> Bool #
compare :: 𝕏 -> 𝕏 -> Ordering #
(<) :: 𝕏 -> 𝕏 -> Bool #
(<=) :: 𝕏 -> 𝕏 -> Bool #
(>) :: 𝕏 -> 𝕏 -> Bool #
(>=) :: 𝕏 -> 𝕏 -> Bool #
max :: 𝕏 -> 𝕏 -> 𝕏 #
min :: 𝕏 -> 𝕏 -> 𝕏 #
pretty :: 𝕏 -> Doc Source #
fuzzy :: FuzzyM 𝕏 Source #
Defined in UVMHS.Lib.THLiftInstances
lift :: Quote m => 𝕏 -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => 𝕏 -> Code m 𝕏 #
𝕩nameL :: (⟢) 𝕏 𝕊 Source #
𝕩markL :: (⟢) 𝕏 (𝑂 ℕ64) Source #
data 𝕐 Source #
showsPrec :: Int -> 𝕐 -> ShowS #
show :: 𝕐 -> String #
showList :: [𝕐] -> ShowS #
(==) :: 𝕐 -> 𝕐 -> Bool #
(/=) :: 𝕐 -> 𝕐 -> Bool #
compare :: 𝕐 -> 𝕐 -> Ordering #
(<) :: 𝕐 -> 𝕐 -> Bool #
(<=) :: 𝕐 -> 𝕐 -> Bool #
(>) :: 𝕐 -> 𝕐 -> Bool #
(>=) :: 𝕐 -> 𝕐 -> Bool #
max :: 𝕐 -> 𝕐 -> 𝕐 #
min :: 𝕐 -> 𝕐 -> 𝕐 #
pretty :: 𝕐 -> Doc Source #
fuzzy :: FuzzyM 𝕐 Source #
lift :: Quote m => 𝕐 -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => 𝕐 -> Code m 𝕐 #
Defined in UVMHS.Lib.Substitution
tell :: (s ⇰ 𝑃 𝕐) -> SubstM s e () Source #
hijack :: SubstM s e a -> SubstM s e ((s ⇰ 𝑃 𝕐) ∧ a) Source #
mVarL :: (⌲) 𝕐 𝕏 Source #
gVarL :: (⌲) 𝕐 𝕏 Source #
nVarL :: (⌲) 𝕐 ((∧) ℕ64 𝕏) Source #
dVarL :: (⌲) 𝕐 ℕ64 Source #
var :: 𝕊 -> 𝕏 Source #
nvar :: 𝕏 -> 𝕐 Source #
nvarL :: 𝕐 ⌲ 𝕏 Source #
gensymVar :: (Monad m, MonadState s m) => (s ⟢ ℕ64) -> 𝕊 -> m 𝕏 Source #
cpVar :: CParser TokenBasic 𝕏 Source #
cpNVar :: CParser TokenBasic 𝕐 Source #
cpGVar :: CParser TokenBasic 𝕐 Source #
cpVarWS :: CParser TokenWSBasic 𝕏 Source #
cpNVarWS :: CParser TokenWSBasic 𝕐 Source #
cpGVarWS :: CParser TokenWSBasic 𝕐 Source #