module Language.Haskell.Liquid.Types.Names
  (lenLocSymbol, anyTypeSymbol, functionComposisionSymbol, selfSymbol) where

import Language.Fixpoint.Types

-- RJ: Please add docs
lenLocSymbol :: Located Symbol
lenLocSymbol = dummyLoc $ symbol ("autolen" :: String)

anyTypeSymbol :: Symbol
anyTypeSymbol = symbol ("GHC.Prim.Any" :: String)


--  defined in include/GHC/Base.hs
functionComposisionSymbol :: Symbol
functionComposisionSymbol = symbol ("GHC.Base.." :: String)


selfSymbol :: Symbol
selfSymbol = symbol ("liquid_internal_this" :: String)