Type.Squid.Feed

Documentation

feedTypeC :: Var -> Type -> SquidM ()

feedType :: (?typeSource :: TypeSource) -> Var -> Type -> SquidM ()

feedTypeDown :: (?typeSource :: TypeSource) -> Maybe ClassId -> Type -> SquidM Type

feedRegionDown :: Maybe ClassId -> Region -> SquidM Region

feedEffectC :: (?typeSource :: TypeSource) -> Var -> Effect -> SquidM ()

feedEffectDown :: (?typeSource :: TypeSource) -> Maybe ClassId -> Effect -> SquidM Effect

feedFetter :: (?typeSource :: TypeSource) -> Fetter -> SquidM ()

patchBackT :: ClassId -> Maybe ClassId -> SquidM ()

patchBackE :: ClassId -> Maybe ClassId -> SquidM ()

patchBackR :: ClassId -> Maybe ClassId -> SquidM ()

makeTypeInfo :: (?typeSource :: TypeSource) -> TypeInfo

makeEffectInfo :: (?typeSource :: TypeSource) -> EffectInfo

makeRegionInfo :: (?typeSource :: TypeSource) -> RegionInfo

Produced by Haddock version 0.7