Safe Haskell	Safe-Inferred
Language	Haskell98

Liquid.GHC.API.StableModule

Contents

Constructing a StableModule
Converting a StableModule into a standard Module
Utility functions
Orphan instances

Synopsis

data StableModule
mkStableModule :: UnitId -> ModuleName -> StableModule
unStableModule :: StableModule -> Module
toStableModule :: Module -> StableModule
renderModule :: Module -> String

Documentation

data StableModule Source #

A newtype wrapper around a Module which:

Allows a Module to be serialised (i.e. it has a Binary instance)
It tries to use stable comparison and equality under the hood.

Instances

Instances details

Generic StableModule Source #
Instance details Defined in Liquid.GHC.API.StableModule Associated Types type Rep StableModule :: Type -> Type # Methods from :: StableModule -> Rep StableModule x # to :: Rep StableModule x -> StableModule #
Show StableModule Source #
Instance details Defined in Liquid.GHC.API.StableModule Methods showsPrec :: Int -> StableModule -> ShowS # show :: StableModule -> String # showList :: [StableModule] -> ShowS #
Binary StableModule Source #
Instance details Defined in Liquid.GHC.API.StableModule Methods put :: StableModule -> Put # get :: Get StableModule # putList :: [StableModule] -> Put #
Eq StableModule Source #
Instance details Defined in Liquid.GHC.API.StableModule Methods (==) :: StableModule -> StableModule -> Bool # (/=) :: StableModule -> StableModule -> Bool #
Ord StableModule Source #
Instance details Defined in Liquid.GHC.API.StableModule Methods compare :: StableModule -> StableModule -> Ordering # (<) :: StableModule -> StableModule -> Bool # (<=) :: StableModule -> StableModule -> Bool # (>) :: StableModule -> StableModule -> Bool # (>=) :: StableModule -> StableModule -> Bool # max :: StableModule -> StableModule -> StableModule # min :: StableModule -> StableModule -> StableModule #
Hashable StableModule Source #
Instance details Defined in Liquid.GHC.API.StableModule Methods hashWithSalt :: Int -> StableModule -> Int # hash :: StableModule -> Int #
type Rep StableModule Source #
Instance details Defined in Liquid.GHC.API.StableModule type Rep StableModule = D1 ('MetaData "StableModule" "Liquid.GHC.API.StableModule" "liquidhaskell-boot-0.9.2.5.0-JuBNLAGIRFD6ItsPyAO3oF" 'True) (C1 ('MetaCons "StableModule" 'PrefixI 'True) (S1 ('MetaSel ('Just "unStableModule") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Module)))