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

import Language.Fixpoint.Types

-- RJ: Please add docs
lenLocSymbol :: Located Symbol
lenLocSymbol :: Located Symbol
lenLocSymbol = forall a. a -> Located a
dummyLoc forall a b. (a -> b) -> a -> b
$ forall a. Symbolic a => a -> Symbol
symbol (String
"autolen" :: String)

anyTypeSymbol :: Symbol
anyTypeSymbol :: Symbol
anyTypeSymbol = forall a. Symbolic a => a -> Symbol
symbol (String
"GHC.Prim.Any" :: String)


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


selfSymbol :: Symbol
selfSymbol :: Symbol
selfSymbol = forall a. Symbolic a => a -> Symbol
symbol (String
"liquid_internal_this" :: String)