uvmhs-0.0.0.0

Safe Haskell	Safe-Inferred
Language	Haskell2010

UVMHS.Lang.ULC

Documentation

newtype ULCExp 𝒸 Source #

Constructors

ULCExp
Fields unULCExp :: 𝐴 𝒸 (ULCExp_R 𝒸)

Instances

Instances details

Fuzzy ULCExpRaw Source #
Instance details Defined in UVMHS.Lang.ULC Methods fuzzy :: FuzzyM ULCExpRaw Source #
Lift 𝒸 => Lift (ULCExp 𝒸 :: Type) Source #
Instance details Defined in UVMHS.Lang.ULC Methods lift :: Quote m => ULCExp 𝒸 -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => ULCExp 𝒸 -> Code m (ULCExp 𝒸) #
Substy () (ULCExp 𝒸) (ULCExp 𝒸) Source #
Instance details Defined in UVMHS.Lang.ULC Methods substy :: ULCExp 𝒸 -> SubstM () (ULCExp 𝒸) (ULCExp 𝒸) Source #
Show 𝒸 => Show (ULCExp 𝒸) Source #
Instance details Defined in UVMHS.Lang.ULC Methods showsPrec :: Int -> ULCExp 𝒸 -> ShowS # show :: ULCExp 𝒸 -> String # showList :: [ULCExp 𝒸] -> ShowS #
Eq (ULCExp 𝒸) Source #
Instance details Defined in UVMHS.Lang.ULC Methods (==) :: ULCExp 𝒸 -> ULCExp 𝒸 -> Bool # (/=) :: ULCExp 𝒸 -> ULCExp 𝒸 -> Bool #
Ord (ULCExp 𝒸) Source #
Instance details Defined in UVMHS.Lang.ULC Methods compare :: ULCExp 𝒸 -> ULCExp 𝒸 -> Ordering # (<) :: ULCExp 𝒸 -> ULCExp 𝒸 -> Bool # (<=) :: ULCExp 𝒸 -> ULCExp 𝒸 -> Bool # (>) :: ULCExp 𝒸 -> ULCExp 𝒸 -> Bool # (>=) :: ULCExp 𝒸 -> ULCExp 𝒸 -> Bool # max :: ULCExp 𝒸 -> ULCExp 𝒸 -> ULCExp 𝒸 # min :: ULCExp 𝒸 -> ULCExp 𝒸 -> ULCExp 𝒸 #
Pretty (ULCExp 𝒸) Source #
Instance details Defined in UVMHS.Lang.ULC Methods pretty :: ULCExp 𝒸 -> Doc Source #

data ULCExp_R 𝒸 Source #

Constructors

Var_ULC 𝕐
Lam_ULC (𝑂 𝕏) (ULCExp 𝒸)
App_ULC (ULCExp 𝒸) (ULCExp 𝒸)

Instances

Instances details

Lift 𝒸 => Lift (ULCExp_R 𝒸 :: Type) Source #
Instance details Defined in UVMHS.Lang.ULC Methods lift :: Quote m => ULCExp_R 𝒸 -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => ULCExp_R 𝒸 -> Code m (ULCExp_R 𝒸) #
Show 𝒸 => Show (ULCExp_R 𝒸) Source #
Instance details Defined in UVMHS.Lang.ULC Methods showsPrec :: Int -> ULCExp_R 𝒸 -> ShowS # show :: ULCExp_R 𝒸 -> String # showList :: [ULCExp_R 𝒸] -> ShowS #
Eq (ULCExp_R 𝒸) Source #
Instance details Defined in UVMHS.Lang.ULC Methods (==) :: ULCExp_R 𝒸 -> ULCExp_R 𝒸 -> Bool # (/=) :: ULCExp_R 𝒸 -> ULCExp_R 𝒸 -> Bool #
Ord (ULCExp_R 𝒸) Source #
Instance details Defined in UVMHS.Lang.ULC Methods compare :: ULCExp_R 𝒸 -> ULCExp_R 𝒸 -> Ordering # (<) :: ULCExp_R 𝒸 -> ULCExp_R 𝒸 -> Bool # (<=) :: ULCExp_R 𝒸 -> ULCExp_R 𝒸 -> Bool # (>) :: ULCExp_R 𝒸 -> ULCExp_R 𝒸 -> Bool # (>=) :: ULCExp_R 𝒸 -> ULCExp_R 𝒸 -> Bool # max :: ULCExp_R 𝒸 -> ULCExp_R 𝒸 -> ULCExp_R 𝒸 # min :: ULCExp_R 𝒸 -> ULCExp_R 𝒸 -> ULCExp_R 𝒸 #
Pretty (ULCExp_R 𝒸) Source #
Instance details Defined in UVMHS.Lang.ULC Methods pretty :: ULCExp_R 𝒸 -> Doc Source #

type ULCExpSrc = ULCExp SrcCxt Source #

type ULCExpRaw = ULCExp () Source #

lexULCExp :: Lexer CharClass ℂ TokenClassBasic ℕ64 TokenBasic Source #

pULCExp :: CParser TokenBasic ULCExpSrc Source #

ulc :: QuasiQuoter Source #