Safe Haskell	Safe-Inferred
Language	Haskell2010

Raw

Documentation

data KIND Source #

Constructors

Star
Sharp
Arrow KIND KIND

Instances

Instances details

Show KIND Source #
Instance details Defined in Raw Methods showsPrec ∷ Int → KIND → ShowS Source # show ∷ KIND → String Source # showList ∷ [KIND] → ShowS Source #

data RType Source #

Constructors

RTyVar Integer
RTyFun RType RType
RTyPi KIND RType
RTyLambda KIND RType
RTyApp RType RType
RTyCon RTyCon
RTyMu RType RType
RTySOP [[RType]]

Instances

Instances details

Show RType Source #
Instance details Defined in Raw Methods showsPrec ∷ Int → RType → ShowS Source # show ∷ RType → String Source # showList ∷ [RType] → ShowS Source #

data AtomicTyCon Source #

Constructors

ATyConInt
ATyConBS
ATyConStr
ATyConUnit
ATyConBool
ATyConData
ATyConBLS12_381_G1_Element
ATyConBLS12_381_G2_Element
ATyConBLS12_381_MlResult

Instances

Instances details

Show AtomicTyCon Source #
Instance details Defined in Raw Methods showsPrec ∷ Int → AtomicTyCon → ShowS Source # show ∷ AtomicTyCon → String Source # showList ∷ [AtomicTyCon] → ShowS Source #

data RTyCon Source #

Constructors

RTyConAtom AtomicTyCon
RTyConList
RTyConArray
RTyConPair

Instances

Instances details

Show RTyCon Source #
Instance details Defined in Raw Methods showsPrec ∷ Int → RTyCon → ShowS Source # show ∷ RTyCon → String Source # showList ∷ [RTyCon] → ShowS Source #

data RTerm Source #

Constructors

RVar Integer
RTLambda KIND RTerm
RTApp RTerm RType
RLambda RType RTerm
RApp RTerm RTerm
RCon (Some (ValueOf DefaultUni))
RError RType
RBuiltin DefaultFun
RWrap RType RType RTerm
RUnWrap RTerm
RConstr RType Integer [RTerm]
RCase RType RTerm [RTerm]

Instances

Instances details

Show RTerm Source #
Instance details Defined in Raw Methods showsPrec ∷ Int → RTerm → ShowS Source # show ∷ RTerm → String Source # showList ∷ [RTerm] → ShowS Source #

unIndex ∷ Index → Integer Source #

convP ∷ Program NamedTyDeBruijn NamedDeBruijn DefaultUni DefaultFun a → RTerm Source #

convK ∷ Kind a → KIND Source #

convT ∷ Type NamedTyDeBruijn DefaultUni a → RType Source #

convTyCon ∷ SomeTypeIn DefaultUni → RType Source #

conv ∷ Term NamedTyDeBruijn NamedDeBruijn DefaultUni DefaultFun a → RTerm Source #

varTm ∷ Int → NamedDeBruijn Source #

varTy ∷ Int → NamedDeBruijn Source #

unconvK ∷ KIND → Kind () Source #

unconvT ∷ Int → RType → Type NamedTyDeBruijn DefaultUni () Source #

unconvTyCon ∷ RTyCon → SomeTypeIn DefaultUni Source #

tmnames ∷ String Source #

tynames ∷ String Source #

unconv ∷ Int → RTerm → Term NamedTyDeBruijn NamedDeBruijn DefaultUni DefaultFun () Source #

data ERROR Source #

Constructors

TypeError Text
ParseError ParserErrorBundle
ScopeError ScopeError
RuntimeError RuntimeError
JsonError Text

Instances

Instances details

Show ERROR Source #
Instance details Defined in Raw Methods showsPrec ∷ Int → ERROR → ShowS Source # show ∷ ERROR → String Source # showList ∷ [ERROR] → ShowS Source #

data ScopeError Source #

Constructors

DeBError
FreeVariableError FreeVariableError

Instances

Instances details

Show ScopeError Source #
Instance details Defined in Raw Methods showsPrec ∷ Int → ScopeError → ShowS Source # show ∷ ScopeError → String Source # showList ∷ [ScopeError] → ShowS Source #

data RuntimeError Source #

Constructors

GasError
UserError
RuntimeTypeError

Instances

Instances details

Show RuntimeError Source #
Instance details Defined in Raw Methods showsPrec ∷ Int → RuntimeError → ShowS Source # show ∷ RuntimeError → String Source # showList ∷ [RuntimeError] → ShowS Source #