uvmhs-0.0.1.0
Safe HaskellNone
LanguageHaskell2010

UVMHS.Lang.ULC

Documentation

newtype ULCExp 𝒸 Source #

Constructors

ULCExp 

Fields

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 𝒸) #

Null 𝒸 => SVarView () (ULCExp 𝒸) Source # 
Instance details

Defined in UVMHS.Lang.ULC

Methods

svarL :: () -> ULCExp 𝒸 ⌲ SVar Source #

(Null 𝒸, Show 𝒸) => Substy () (ULCExp 𝒸) (ULCExp 𝒸) Source # 
Instance details

Defined in UVMHS.Lang.ULC

Methods

substy :: ULCExp 𝒸 -> SubstyM () (ULCExp 𝒸) (ULCExp 𝒸) Source #

Generic (ULCExp 𝒸) Source # 
Instance details

Defined in UVMHS.Lang.ULC

Associated Types

type Rep (ULCExp 𝒸) 
Instance details

Defined in UVMHS.Lang.ULC

type Rep (ULCExp 𝒸) = D1 ('MetaData "ULCExp" "UVMHS.Lang.ULC" "uvmhs-0.0.1.0-bidSdaNuhzE9XoIWu6dDo" 'True) (C1 ('MetaCons "ULCExp" 'PrefixI 'True) (S1 ('MetaSel ('Just "unULCExp") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (𝐴 𝒸 (ULCExp_R 𝒸)))))

Methods

from :: ULCExp 𝒸 -> Rep (ULCExp 𝒸) x #

to :: Rep (ULCExp 𝒸) x -> ULCExp 𝒸 #

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 𝒸 #

Show 𝒸 => Pretty (ULCExp 𝒸) Source # 
Instance details

Defined in UVMHS.Lang.ULC

Methods

pretty :: ULCExp 𝒸 -> Doc Source #

Shrinky (ULCExp 𝒸) Source # 
Instance details

Defined in UVMHS.Lang.ULC

Methods

shrink :: ULCExp 𝒸 -> 𝐼 (ULCExp 𝒸) Source #

type Rep (ULCExp 𝒸) Source # 
Instance details

Defined in UVMHS.Lang.ULC

type Rep (ULCExp 𝒸) = D1 ('MetaData "ULCExp" "UVMHS.Lang.ULC" "uvmhs-0.0.1.0-bidSdaNuhzE9XoIWu6dDo" 'True) (C1 ('MetaCons "ULCExp" 'PrefixI 'True) (S1 ('MetaSel ('Just "unULCExp") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (𝐴 𝒸 (ULCExp_R 𝒸)))))

onULCExp :: (𝐴 𝒸 (ULCExp_R 𝒸) -> 𝐴 𝒸' (ULCExp_R 𝒸')) -> ULCExp 𝒸 -> ULCExp 𝒸' Source #

data ULCExp_R 𝒸 Source #

Constructors

Var_ULC (UVar () (ULCExp 𝒸)) 
Lam_ULC (𝑂 Name) (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 𝒸) #

Generic (ULCExp_R 𝒸) Source # 
Instance details

Defined in UVMHS.Lang.ULC

Associated Types

type Rep (ULCExp_R 𝒸) 
Instance details

Defined in UVMHS.Lang.ULC

type Rep (ULCExp_R 𝒸) = D1 ('MetaData "ULCExp_R" "UVMHS.Lang.ULC" "uvmhs-0.0.1.0-bidSdaNuhzE9XoIWu6dDo" 'False) (C1 ('MetaCons "Var_ULC" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (UVar () (ULCExp 𝒸)))) :+: (C1 ('MetaCons "Lam_ULC" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (𝑂 Name)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (ULCExp 𝒸))) :+: C1 ('MetaCons "App_ULC" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (ULCExp 𝒸)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (ULCExp 𝒸)))))

Methods

from :: ULCExp_R 𝒸 -> Rep (ULCExp_R 𝒸) x #

to :: Rep (ULCExp_R 𝒸) x -> 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 𝒸 #

Show 𝒸 => Pretty (ULCExp_R 𝒸) Source # 
Instance details

Defined in UVMHS.Lang.ULC

Methods

pretty :: ULCExp_R 𝒸 -> Doc Source #

Shrinky (ULCExp_R 𝒸) Source # 
Instance details

Defined in UVMHS.Lang.ULC

Methods

shrink :: ULCExp_R 𝒸 -> 𝐼 (ULCExp_R 𝒸) Source #

type Rep (ULCExp_R 𝒸) Source # 
Instance details

Defined in UVMHS.Lang.ULC

type Rep (ULCExp_R 𝒸) = D1 ('MetaData "ULCExp_R" "UVMHS.Lang.ULC" "uvmhs-0.0.1.0-bidSdaNuhzE9XoIWu6dDo" 'False) (C1 ('MetaCons "Var_ULC" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (UVar () (ULCExp 𝒸)))) :+: (C1 ('MetaCons "Lam_ULC" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (𝑂 Name)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (ULCExp 𝒸))) :+: C1 ('MetaCons "App_ULC" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (ULCExp 𝒸)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (ULCExp 𝒸)))))

var_ULCL :: ULCExp_R 𝒸 ⌲ UVar () (ULCExp 𝒸) Source #

lam_ULCL :: ULCExp_R 𝒸 ⌲ (𝑂 Name ∧ ULCExp 𝒸) Source #

app_ULCL :: ULCExp_R 𝒸 ⌲ (ULCExp 𝒸 ∧ ULCExp 𝒸) Source #

type ULCExpSrc = ULCExp (𝑃 SrcCxt) Source #

type ULCExpRaw = ULCExp () Source #

wfULC :: ULCExp 𝒸 -> 𝔹 Source #

canonULC :: (Null 𝒸, Show 𝒸) => ULCExp 𝒸 -> ULCExp 𝒸 Source #

syntaxULC :: LexerBasicSyntax Source #

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

pULCExp :: CParser TokenBasic ULCExpSrc Source #

ulc :: QuasiQuoter Source #