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

import Language.Fixpoint.Types

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

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


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