Contents Index

Type.Squid.Sink

Documentation

sinkTypeV :: Var -> SquidM (Type, [Error])

sinkTypeC :: ClassId -> SquidM (Type, [Error])

sinkTypeCF :: Set ClassId -> ClassId -> SquidM (Type, [Fetter], [Error])

sinkTCons :: Set ClassId -> [Type] -> [Fetter] -> SquidM (Type, [Fetter], [Error])

sinkTFuns :: Set ClassId -> [Type] -> [Fetter] -> SquidM (Type, [Fetter], [Error])

sinkArg :: Set ClassId -> Type -> SquidM (Type, [Fetter], [Error])

Produced by Haddock version 0.7