Safe Haskell	None
Language	Haskell2010

UVMHS.Lib.Substitution.Name

Documentation

Constructors

Name
Fields nameMark :: 𝑂 ℕ64 nameName :: 𝕊

Instances details

Show Name Source #
Instance details Defined in UVMHS.Lib.Substitution.Name Methods showsPrec :: Int -> Name -> ShowS # show :: Name -> String # showList :: [Name] -> ShowS #
Eq Name Source #
Instance details Defined in UVMHS.Lib.Substitution.Name Methods (==) :: Name -> Name -> Bool # (/=) :: Name -> Name -> Bool #
Ord Name Source #
Instance details Defined in UVMHS.Lib.Substitution.Name Methods compare :: Name -> Name -> Ordering # (<) :: Name -> Name -> Bool # (<=) :: Name -> Name -> Bool # (>) :: Name -> Name -> Bool # (>=) :: Name -> Name -> Bool # max :: Name -> Name -> Name # min :: Name -> Name -> Name #
Fuzzy Name Source #
Instance details Defined in UVMHS.Lib.Substitution.Name Methods fuzzy :: FuzzyM Name Source #
Pretty Name Source #
Instance details Defined in UVMHS.Lib.Substitution.Name Methods pretty :: Name -> Doc Source #
Shrinky Name Source #
Instance details Defined in UVMHS.Lib.Substitution.Name Methods shrink :: Name -> 𝐼 Name Source #
Lift Name Source #
Instance details Defined in UVMHS.Lib.THLiftInstances Methods lift :: Quote m => Name -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Name -> Code m Name #

Constructors

D_SName
N_SName Name

Instances details

Show SName Source #
Instance details Defined in UVMHS.Lib.Substitution.Name Methods showsPrec :: Int -> SName -> ShowS # show :: SName -> String # showList :: [SName] -> ShowS #
Eq SName Source #
Instance details Defined in UVMHS.Lib.Substitution.Name Methods (==) :: SName -> SName -> Bool # (/=) :: SName -> SName -> Bool #
Ord SName Source #
Instance details Defined in UVMHS.Lib.Substitution.Name Methods compare :: SName -> SName -> Ordering # (<) :: SName -> SName -> Bool # (<=) :: SName -> SName -> Bool # (>) :: SName -> SName -> Bool # (>=) :: SName -> SName -> Bool # max :: SName -> SName -> SName # min :: SName -> SName -> SName #
Fuzzy SName Source #
Instance details Defined in UVMHS.Lib.Substitution.Name Methods fuzzy :: FuzzyM SName Source #
Pretty SName Source #
Instance details Defined in UVMHS.Lib.Substitution.Name Methods pretty :: SName -> Doc Source #
Shrinky SName Source #
Instance details Defined in UVMHS.Lib.Substitution.Name Methods shrink :: SName -> 𝐼 SName Source #
Lift SName Source #
Instance details Defined in UVMHS.Lib.THLiftInstances Methods lift :: Quote m => SName -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => SName -> Code m SName #

Constructors

Instances details

Show SGName Source #
Instance details Defined in UVMHS.Lib.Substitution.Name Methods showsPrec :: Int -> SGName -> ShowS # show :: SGName -> String # showList :: [SGName] -> ShowS #
Eq SGName Source #
Instance details Defined in UVMHS.Lib.Substitution.Name Methods (==) :: SGName -> SGName -> Bool # (/=) :: SGName -> SGName -> Bool #
Ord SGName Source #
Instance details Defined in UVMHS.Lib.Substitution.Name Methods compare :: SGName -> SGName -> Ordering # (<) :: SGName -> SGName -> Bool # (<=) :: SGName -> SGName -> Bool # (>) :: SGName -> SGName -> Bool # (>=) :: SGName -> SGName -> Bool # max :: SGName -> SGName -> SGName # min :: SGName -> SGName -> SGName #
Fuzzy SGName Source #
Instance details Defined in UVMHS.Lib.Substitution.Name Methods fuzzy :: FuzzyM SGName Source #
Pretty SGName Source #
Instance details Defined in UVMHS.Lib.Substitution.Name Methods pretty :: SGName -> Doc Source #
Shrinky SGName Source #
Instance details Defined in UVMHS.Lib.Substitution.Name Methods shrink :: SGName -> 𝐼 SGName Source #