| ECase | Type.Exp, Source.Exp | | EClass | Type.Exp, Source.Exp | | ECon | | 1 (Data Constructor) | Core.Exp | | 2 (Data Constructor) | Type.Exp, Source.Exp | | EEnd | | 1 (Data Constructor) | Core.Exp | | 2 (Data Constructor) | Type.Exp, Source.Exp | | EFetter | Type.Exp, Source.Exp | | ENil | | 1 (Data Constructor) | Core.Exp | | 2 (Data Constructor) | Type.Exp, Source.Exp | | EPipe | | 1 (Data Constructor) | Core.Exp | | 2 (Data Constructor) | Type.Exp, Source.Exp | | EPort | | 1 (Data Constructor) | Core.Exp | | 2 (Data Constructor) | Type.Exp, Source.Exp | | ESink | Type.Exp, Source.Exp | | ESum | | 1 (Data Constructor) | Core.Exp | | 2 (Data Constructor) | Type.Exp, Source.Exp | | EVar | | 1 (Data Constructor) | Core.Exp | | 2 (Data Constructor) | Type.Exp, Source.Exp | | Effect | | 1 (Type/Class) | Core.Exp | | 2 (Data Constructor) | Source.Token | | 3 (Type/Class) | Type.Exp, Source.Exp | | EffectArrow | Source.Token | | EffectInfo | | 1 (Type/Class) | Type.Squid.Base | | 2 (Data Constructor) | Type.Squid.Base | | Else | Source.Token | | Env | Type.Exp, Source.Exp | | Equals | Source.Token | | Error | | 1 (Data Constructor) | Main.Arg | | 2 (Type/Class) | Source.Error | | 3 (Type/Class) | Type.Error | | ErrorAmbiguousProjection | Type.Error | | ErrorDefixMixedAssoc | Source.Error | | ErrorDefixNonAssoc | Source.Error | | ErrorFieldNotPresent | Type.Error | | ErrorImpureTopLevelEffect | Type.Error | | ErrorInfiniteTypeClassId | Type.Error | | ErrorInfiniteTypeGen | Type.Error | | ErrorMutabilityConflict | Type.Error | | ErrorMutabilityPureReadWrite | Type.Error | | ErrorParse | Source.Error | | ErrorParseBefore | Source.Error | | ErrorParseEnd | Source.Error | | ErrorPatternAirity | Source.Error | | ErrorRedefinedVar | Source.Error | | ErrorSanityCoreMissing | Type.Error | | ErrorSigEffects | Type.Error | | ErrorSigScheme | Type.Error | | ErrorUndefinedVar | Source.Error | | ErrorUnifyCtorMismatch | Type.Error | | Exp | | 1 (Type/Class) | Core.Exp | | 2 (Type/Class) | Sea.Exp | | 3 (Type/Class) | Source.Exp | | Export | Source.Token | | Extern | Source.Token | | eClashScheme | Type.Error | | eClashSig | Type.Error | | eClassId | Type.Error | | eClassIds | Type.Error | | eConstFetter | Type.Error | | eConstSource | Type.Error | | eConstructor | Type.Error | | eCtor1 | Type.Error | | eCtor2 | Type.Error | | eCtorAirity | Source.Error | | eCtorVar | Source.Error | | eEff | Type.Error | | eEffFunV | Type.Error | | eEffScheme | Type.Error | | eEffSig | Type.Error | | eEffType | Type.Error | | eField | Type.Error | | eFirstDefined | Source.Error | | eLoops | Type.Error | | eMutableFetter | Type.Error | | eMutableSource | Type.Error | | ePatternAirity | Source.Error | | ePureFetter | Type.Error | | ePureFunV | Type.Error | | ePureSource | Type.Error | | ePureType | Type.Error | | eReadEff | Type.Error | | eReadSource | Type.Error | | eRedefined | Source.Error | | eRegion | Type.Error | | eScheme | Type.Error | | eSig | Type.Error | | eType | Type.Error | | eTypeSource1 | Type.Error | | eTypeSource2 | Type.Error | | eUndefined | Source.Error | | eVar | Type.Error | | eVarsMissing | Type.Error | | eWriteEff | Type.Error | | eWriteSource | Type.Error | | eachAndOthers | Util.List, Util, Main | | effectInfoInit | Type.Squid.Base | | eiSource | Type.Squid.Base | | elabInstM | Source.Type.Util | | elaborateT | Type.Elaborate | | elemF | Util.List, Util, Main | | eraseEnvT | Type.Pack | | evalVarGen | Shared.VarGen | | expand | Main.Arg | | expandCtorTree | Sea.Ctor | | expandCtors | Stages.Sea | | expandEffects | Core.Effect.Expand | | expandPClassT | Source.Hacks | | expandThunking | Stages.Sea | | expandThunkingTree | Sea.Thunk |
|