Safe Haskell	None
Language	GHC2024

Elara.AST.Name

Synopsis

newtype ModuleName = ModuleName (NonEmpty Text)
appendModule :: ModuleName -> Text -> ModuleName
data VarName
- = NormalVarName LowerAlphaName
- | OperatorVarName OpName
newtype LowerAlphaName = LowerAlphaName Text
newtype TypeName = TypeName Text
newtype OpName = OpName Text
data VarOrConName
- = VarName LowerAlphaName
- | ConName TypeName
data Name
- = NVarName VarName
- | NTypeName TypeName
type UniqueName = Unique Name
class NameLike name where
- nameText :: name -> Text
- fullNameText :: name -> Text
- moduleName :: name -> Maybe ModuleName
class ToName name where
- toName :: name -> Name
data MaybeQualified name = MaybeQualified {
- _maybeQualifiedName :: name
- _maybeQualifiedQualifier :: Maybe ModuleName
}
data Qualified name = Qualified {
- _qualifiedName :: name
- qualifier :: ModuleName
}
unqualified :: Lens' (Qualified name) name
newtype Unqualified name = Unqualified {
- _unqualifiedName :: name
}
class HasName a n | a -> n where
- name :: Lens' a n
class ContainsName a n | a -> n where
- containedName :: Getter a n

Documentation

newtype ModuleName Source #

Constructors

ModuleName (NonEmpty Text)

Instances

Instances details

ToJSON ModuleName Source #

Instance details

Defined in Elara.AST.Name

Methods

toJSON :: ModuleName -> Value #

toEncoding :: ModuleName -> Encoding #

toJSONList :: [ModuleName] -> Value #

toEncodingList :: [ModuleName] -> Encoding #

omitField :: ModuleName -> Bool #

NameLike ModuleName Source #

Instance details

Defined in Elara.AST.Name

Methods

nameText :: ModuleName -> Text Source #

fullNameText :: ModuleName -> Text Source #

moduleName :: ModuleName -> Maybe ModuleName Source #

Pretty ModuleName Source #

Instance details

Defined in Elara.AST.Name

Methods

pretty :: ModuleName -> Doc AnsiStyle Source #

Data ModuleName Source #

Instance details

Defined in Elara.AST.Name

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ModuleName -> c ModuleName #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ModuleName #

toConstr :: ModuleName -> Constr #

dataTypeOf :: ModuleName -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ModuleName) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ModuleName) #

gmapT :: (forall b. Data b => b -> b) -> ModuleName -> ModuleName #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ModuleName -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ModuleName -> r #

gmapQ :: (forall d. Data d => d -> u) -> ModuleName -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> ModuleName -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ModuleName -> m ModuleName #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ModuleName -> m ModuleName #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ModuleName -> m ModuleName #

Generic ModuleName Source #

Instance details

Defined in Elara.AST.Name

Associated Types

type Rep ModuleName
Instance details Defined in Elara.AST.Name type Rep ModuleName = D1 ('MetaData "ModuleName" "Elara.AST.Name" "elara-0.1.0-inplace" 'True) (C1 ('MetaCons "ModuleName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty Text))))

Methods

from :: ModuleName -> Rep ModuleName x #

to :: Rep ModuleName x -> ModuleName #

Show ModuleName Source #

Instance details

Defined in Elara.AST.Name

Methods

showsPrec :: Int -> ModuleName -> ShowS #

show :: ModuleName -> String #

showList :: [ModuleName] -> ShowS #

Eq ModuleName Source #

Instance details

Defined in Elara.AST.Name

Methods

(==) :: ModuleName -> ModuleName -> Bool #

(/=) :: ModuleName -> ModuleName -> Bool #

Ord ModuleName Source #

Instance details

Defined in Elara.AST.Name

Methods

compare :: ModuleName -> ModuleName -> Ordering #

(<) :: ModuleName -> ModuleName -> Bool #

(<=) :: ModuleName -> ModuleName -> Bool #

(>) :: ModuleName -> ModuleName -> Bool #

(>=) :: ModuleName -> ModuleName -> Bool #

max :: ModuleName -> ModuleName -> ModuleName #

min :: ModuleName -> ModuleName -> ModuleName #

Hashable ModuleName Source #

Instance details

Defined in Elara.AST.Name

Methods

hashWithSalt :: Int -> ModuleName -> Int #

hash :: ModuleName -> Int #

type Rep ModuleName Source #

Instance details

Defined in Elara.AST.Name

type Rep ModuleName = D1 ('MetaData "ModuleName" "Elara.AST.Name" "elara-0.1.0-inplace" 'True) (C1 ('MetaCons "ModuleName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty Text))))

appendModule :: ModuleName -> Text -> ModuleName Source #

data VarName Source #

A valid Variable name. This includes anything that could appear in `let [name] = ...` In other words, a normal alphanumeric name, or a parenthesis wrapped operator name

Constructors

NormalVarName LowerAlphaName	A normal alphanumeric name
OperatorVarName OpName	An operator var name. Note that while in the source code, the name must be surrounded in parentheses, this is not the case in the AST!

Instances

Instances details

ToJSON VarName Source #

Instance details

Defined in Elara.AST.Name

Methods

toJSON :: VarName -> Value #

toEncoding :: VarName -> Encoding #

toJSONList :: [VarName] -> Value #

toEncodingList :: [VarName] -> Encoding #

omitField :: VarName -> Bool #

NameLike VarName Source #

Instance details

Defined in Elara.AST.Name

Methods

nameText :: VarName -> Text Source #

fullNameText :: VarName -> Text Source #

moduleName :: VarName -> Maybe ModuleName Source #

ToName VarName Source #

Instance details

Defined in Elara.AST.Name

Methods

toName :: VarName -> Name Source #

Pretty VarName Source #

Instance details

Defined in Elara.AST.Name

Methods

pretty :: VarName -> Doc AnsiStyle Source #

Data VarName Source #

Instance details

Defined in Elara.AST.Name

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> VarName -> c VarName #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c VarName #

toConstr :: VarName -> Constr #

dataTypeOf :: VarName -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c VarName) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c VarName) #

gmapT :: (forall b. Data b => b -> b) -> VarName -> VarName #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> VarName -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> VarName -> r #

gmapQ :: (forall d. Data d => d -> u) -> VarName -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> VarName -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> VarName -> m VarName #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> VarName -> m VarName #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> VarName -> m VarName #

IsString VarName Source #

Instance details

Defined in Elara.AST.Name

Methods

fromString :: String -> VarName #

Generic VarName Source #

Instance details

Defined in Elara.AST.Name

Associated Types

type Rep VarName

Instance details

Defined in Elara.AST.Name

type Rep VarName = D1 ('MetaData "VarName" "Elara.AST.Name" "elara-0.1.0-inplace" 'False) (C1 ('MetaCons "NormalVarName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LowerAlphaName)) :+: C1 ('MetaCons "OperatorVarName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OpName)))

Methods

from :: VarName -> Rep VarName x #

to :: Rep VarName x -> VarName #

Show VarName Source #

Instance details

Defined in Elara.AST.Name

Methods

showsPrec :: Int -> VarName -> ShowS #

show :: VarName -> String #

showList :: [VarName] -> ShowS #

Eq VarName Source #

Instance details

Defined in Elara.AST.Name

Methods

(==) :: VarName -> VarName -> Bool #

(/=) :: VarName -> VarName -> Bool #

Ord VarName Source #

Instance details

Defined in Elara.AST.Name

Methods

compare :: VarName -> VarName -> Ordering #

(<) :: VarName -> VarName -> Bool #

(<=) :: VarName -> VarName -> Bool #

(>) :: VarName -> VarName -> Bool #

(>=) :: VarName -> VarName -> Bool #

max :: VarName -> VarName -> VarName #

min :: VarName -> VarName -> VarName #

Hashable VarName Source #

Instance details

Defined in Elara.AST.Name

Methods

hashWithSalt :: Int -> VarName -> Int #

hash :: VarName -> Int #

Pretty (MaybeQualified VarName) Source #

Instance details

Defined in Elara.AST.Name

Methods

pretty :: MaybeQualified VarName -> Doc AnsiStyle Source #

type Rep VarName Source #

Instance details

Defined in Elara.AST.Name

type Rep VarName = D1 ('MetaData "VarName" "Elara.AST.Name" "elara-0.1.0-inplace" 'False) (C1 ('MetaCons "NormalVarName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LowerAlphaName)) :+: C1 ('MetaCons "OperatorVarName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OpName)))

newtype LowerAlphaName Source #

A lowercase alphanumeric name. Could be used for variables or type variables Since type variables can't be operators though, we don't use VarName for them

Constructors

LowerAlphaName Text

Instances

Instances details

ToJSON LowerAlphaName Source #

Instance details

Defined in Elara.AST.Name

Methods

toJSON :: LowerAlphaName -> Value #

toEncoding :: LowerAlphaName -> Encoding #

toJSONList :: [LowerAlphaName] -> Value #

toEncodingList :: [LowerAlphaName] -> Encoding #

omitField :: LowerAlphaName -> Bool #

NameLike LowerAlphaName Source #

Instance details

Defined in Elara.AST.Name

Methods

nameText :: LowerAlphaName -> Text Source #

fullNameText :: LowerAlphaName -> Text Source #

moduleName :: LowerAlphaName -> Maybe ModuleName Source #

Pretty LowerAlphaName Source #

Instance details

Defined in Elara.AST.Name

Methods

pretty :: LowerAlphaName -> Doc AnsiStyle Source #

Data LowerAlphaName Source #

Instance details

Defined in Elara.AST.Name

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LowerAlphaName -> c LowerAlphaName #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LowerAlphaName #

toConstr :: LowerAlphaName -> Constr #

dataTypeOf :: LowerAlphaName -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c LowerAlphaName) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LowerAlphaName) #

gmapT :: (forall b. Data b => b -> b) -> LowerAlphaName -> LowerAlphaName #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LowerAlphaName -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LowerAlphaName -> r #

gmapQ :: (forall d. Data d => d -> u) -> LowerAlphaName -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> LowerAlphaName -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> LowerAlphaName -> m LowerAlphaName #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LowerAlphaName -> m LowerAlphaName #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LowerAlphaName -> m LowerAlphaName #

IsString LowerAlphaName Source #

Instance details

Defined in Elara.AST.Name

Methods

fromString :: String -> LowerAlphaName #

Generic LowerAlphaName Source #

Instance details

Defined in Elara.AST.Name

Associated Types

type Rep LowerAlphaName
Instance details Defined in Elara.AST.Name type Rep LowerAlphaName = D1 ('MetaData "LowerAlphaName" "Elara.AST.Name" "elara-0.1.0-inplace" 'True) (C1 ('MetaCons "LowerAlphaName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

Methods

from :: LowerAlphaName -> Rep LowerAlphaName x #

to :: Rep LowerAlphaName x -> LowerAlphaName #

Show LowerAlphaName Source #

Instance details

Defined in Elara.AST.Name

Methods

showsPrec :: Int -> LowerAlphaName -> ShowS #

show :: LowerAlphaName -> String #

showList :: [LowerAlphaName] -> ShowS #

Eq LowerAlphaName Source #

Instance details

Defined in Elara.AST.Name

Methods

(==) :: LowerAlphaName -> LowerAlphaName -> Bool #

(/=) :: LowerAlphaName -> LowerAlphaName -> Bool #

Ord LowerAlphaName Source #

Instance details

Defined in Elara.AST.Name

Methods

compare :: LowerAlphaName -> LowerAlphaName -> Ordering #

(<) :: LowerAlphaName -> LowerAlphaName -> Bool #

(<=) :: LowerAlphaName -> LowerAlphaName -> Bool #

(>) :: LowerAlphaName -> LowerAlphaName -> Bool #

(>=) :: LowerAlphaName -> LowerAlphaName -> Bool #

max :: LowerAlphaName -> LowerAlphaName -> LowerAlphaName #

min :: LowerAlphaName -> LowerAlphaName -> LowerAlphaName #

Hashable LowerAlphaName Source #

Instance details

Defined in Elara.AST.Name

Methods

hashWithSalt :: Int -> LowerAlphaName -> Int #

hash :: LowerAlphaName -> Int #

type Rep LowerAlphaName Source #

Instance details

Defined in Elara.AST.Name

type Rep LowerAlphaName = D1 ('MetaData "LowerAlphaName" "Elara.AST.Name" "elara-0.1.0-inplace" 'True) (C1 ('MetaCons "LowerAlphaName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

newtype TypeName Source #

Constructors

TypeName Text

Instances

Instances details

ToJSON TypeName Source #

Instance details

Defined in Elara.AST.Name

Methods

toJSON :: TypeName -> Value #

toEncoding :: TypeName -> Encoding #

toJSONList :: [TypeName] -> Value #

toEncodingList :: [TypeName] -> Encoding #

omitField :: TypeName -> Bool #

NameLike TypeName Source #

Instance details

Defined in Elara.AST.Name

Methods

nameText :: TypeName -> Text Source #

fullNameText :: TypeName -> Text Source #

moduleName :: TypeName -> Maybe ModuleName Source #

ToName TypeName Source #

Instance details

Defined in Elara.AST.Name

Methods

toName :: TypeName -> Name Source #

Pretty TypeName Source #

Instance details

Defined in Elara.AST.Name

Methods

pretty :: TypeName -> Doc AnsiStyle Source #

Data TypeName Source #

Instance details

Defined in Elara.AST.Name

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TypeName -> c TypeName #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TypeName #

toConstr :: TypeName -> Constr #

dataTypeOf :: TypeName -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TypeName) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TypeName) #

gmapT :: (forall b. Data b => b -> b) -> TypeName -> TypeName #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TypeName -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TypeName -> r #

gmapQ :: (forall d. Data d => d -> u) -> TypeName -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> TypeName -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TypeName -> m TypeName #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeName -> m TypeName #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeName -> m TypeName #

IsString TypeName Source #

Instance details

Defined in Elara.AST.Name

Methods

fromString :: String -> TypeName #

Generic TypeName Source #

Instance details

Defined in Elara.AST.Name

Associated Types

type Rep TypeName
Instance details Defined in Elara.AST.Name type Rep TypeName = D1 ('MetaData "TypeName" "Elara.AST.Name" "elara-0.1.0-inplace" 'True) (C1 ('MetaCons "TypeName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

Methods

from :: TypeName -> Rep TypeName x #

to :: Rep TypeName x -> TypeName #

Show TypeName Source #

Instance details

Defined in Elara.AST.Name

Methods

showsPrec :: Int -> TypeName -> ShowS #

show :: TypeName -> String #

showList :: [TypeName] -> ShowS #

Eq TypeName Source #

Instance details

Defined in Elara.AST.Name

Methods

(==) :: TypeName -> TypeName -> Bool #

(/=) :: TypeName -> TypeName -> Bool #

Ord TypeName Source #

Instance details

Defined in Elara.AST.Name

Methods

compare :: TypeName -> TypeName -> Ordering #

(<) :: TypeName -> TypeName -> Bool #

(<=) :: TypeName -> TypeName -> Bool #

(>) :: TypeName -> TypeName -> Bool #

(>=) :: TypeName -> TypeName -> Bool #

max :: TypeName -> TypeName -> TypeName #

min :: TypeName -> TypeName -> TypeName #

Hashable TypeName Source #

Instance details

Defined in Elara.AST.Name

Methods

hashWithSalt :: Int -> TypeName -> Int #

hash :: TypeName -> Int #

type Rep TypeName Source #

Instance details

Defined in Elara.AST.Name

type Rep TypeName = D1 ('MetaData "TypeName" "Elara.AST.Name" "elara-0.1.0-inplace" 'True) (C1 ('MetaCons "TypeName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

newtype OpName Source #

Constructors

OpName Text

Instances

Instances details

ToJSON OpName Source #

Instance details

Defined in Elara.AST.Name

Methods

toJSON :: OpName -> Value #

toEncoding :: OpName -> Encoding #

toJSONList :: [OpName] -> Value #

toEncodingList :: [OpName] -> Encoding #

omitField :: OpName -> Bool #

NameLike OpName Source #

Instance details

Defined in Elara.AST.Name

Methods

nameText :: OpName -> Text Source #

fullNameText :: OpName -> Text Source #

moduleName :: OpName -> Maybe ModuleName Source #

ToName OpName Source #

Instance details

Defined in Elara.AST.Name

Methods

toName :: OpName -> Name Source #

Pretty OpName Source #

Instance details

Defined in Elara.AST.Name

Methods

pretty :: OpName -> Doc AnsiStyle Source #

Data OpName Source #

Instance details

Defined in Elara.AST.Name

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> OpName -> c OpName #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c OpName #

toConstr :: OpName -> Constr #

dataTypeOf :: OpName -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c OpName) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c OpName) #

gmapT :: (forall b. Data b => b -> b) -> OpName -> OpName #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> OpName -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> OpName -> r #

gmapQ :: (forall d. Data d => d -> u) -> OpName -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> OpName -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> OpName -> m OpName #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> OpName -> m OpName #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> OpName -> m OpName #

IsString OpName Source #

Instance details

Defined in Elara.AST.Name

Methods

fromString :: String -> OpName #

Generic OpName Source #

Instance details

Defined in Elara.AST.Name

Associated Types

type Rep OpName
Instance details Defined in Elara.AST.Name type Rep OpName = D1 ('MetaData "OpName" "Elara.AST.Name" "elara-0.1.0-inplace" 'True) (C1 ('MetaCons "OpName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

Methods

from :: OpName -> Rep OpName x #

to :: Rep OpName x -> OpName #

Show OpName Source #

Instance details

Defined in Elara.AST.Name

Methods

showsPrec :: Int -> OpName -> ShowS #

show :: OpName -> String #

showList :: [OpName] -> ShowS #

Eq OpName Source #

Instance details

Defined in Elara.AST.Name

Methods

(==) :: OpName -> OpName -> Bool #

(/=) :: OpName -> OpName -> Bool #

Ord OpName Source #

Instance details

Defined in Elara.AST.Name

Methods

compare :: OpName -> OpName -> Ordering #

(<) :: OpName -> OpName -> Bool #

(<=) :: OpName -> OpName -> Bool #

(>) :: OpName -> OpName -> Bool #

(>=) :: OpName -> OpName -> Bool #

max :: OpName -> OpName -> OpName #

min :: OpName -> OpName -> OpName #

Hashable OpName Source #

Instance details

Defined in Elara.AST.Name

Methods

hashWithSalt :: Int -> OpName -> Int #

hash :: OpName -> Int #

type Rep OpName Source #

Instance details

Defined in Elara.AST.Name

type Rep OpName = D1 ('MetaData "OpName" "Elara.AST.Name" "elara-0.1.0-inplace" 'True) (C1 ('MetaCons "OpName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data VarOrConName Source #

Constructors

VarName LowerAlphaName
ConName TypeName

Instances

Instances details

NameLike VarOrConName Source #

Instance details

Defined in Elara.AST.Name

Methods

nameText :: VarOrConName -> Text Source #

fullNameText :: VarOrConName -> Text Source #

moduleName :: VarOrConName -> Maybe ModuleName Source #

ToName VarOrConName Source #

Instance details

Defined in Elara.AST.Name

Methods

toName :: VarOrConName -> Name Source #

Pretty VarOrConName Source #

Instance details

Defined in Elara.AST.Name

Methods

pretty :: VarOrConName -> Doc AnsiStyle Source #

Data VarOrConName Source #

Instance details

Defined in Elara.AST.Name

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> VarOrConName -> c VarOrConName #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c VarOrConName #

toConstr :: VarOrConName -> Constr #

dataTypeOf :: VarOrConName -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c VarOrConName) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c VarOrConName) #

gmapT :: (forall b. Data b => b -> b) -> VarOrConName -> VarOrConName #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> VarOrConName -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> VarOrConName -> r #

gmapQ :: (forall d. Data d => d -> u) -> VarOrConName -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> VarOrConName -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> VarOrConName -> m VarOrConName #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> VarOrConName -> m VarOrConName #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> VarOrConName -> m VarOrConName #

Generic VarOrConName Source #

Instance details

Defined in Elara.AST.Name

Associated Types

type Rep VarOrConName

Instance details

Defined in Elara.AST.Name

type Rep VarOrConName = D1 ('MetaData "VarOrConName" "Elara.AST.Name" "elara-0.1.0-inplace" 'False) (C1 ('MetaCons "VarName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LowerAlphaName)) :+: C1 ('MetaCons "ConName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeName)))

Methods

from :: VarOrConName -> Rep VarOrConName x #

to :: Rep VarOrConName x -> VarOrConName #

Show VarOrConName Source #

Instance details

Defined in Elara.AST.Name

Methods

showsPrec :: Int -> VarOrConName -> ShowS #

show :: VarOrConName -> String #

showList :: [VarOrConName] -> ShowS #

Eq VarOrConName Source #

Instance details

Defined in Elara.AST.Name

Methods

(==) :: VarOrConName -> VarOrConName -> Bool #

(/=) :: VarOrConName -> VarOrConName -> Bool #

Ord VarOrConName Source #

Instance details

Defined in Elara.AST.Name

Methods

compare :: VarOrConName -> VarOrConName -> Ordering #

(<) :: VarOrConName -> VarOrConName -> Bool #

(<=) :: VarOrConName -> VarOrConName -> Bool #

(>) :: VarOrConName -> VarOrConName -> Bool #

(>=) :: VarOrConName -> VarOrConName -> Bool #

max :: VarOrConName -> VarOrConName -> VarOrConName #

min :: VarOrConName -> VarOrConName -> VarOrConName #

type Rep VarOrConName Source #

Instance details

Defined in Elara.AST.Name

type Rep VarOrConName = D1 ('MetaData "VarOrConName" "Elara.AST.Name" "elara-0.1.0-inplace" 'False) (C1 ('MetaCons "VarName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LowerAlphaName)) :+: C1 ('MetaCons "ConName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeName)))

data Name Source #

Constructors

NVarName VarName
NTypeName TypeName

Instances

Instances details

ToJSON Name Source #

Instance details

Defined in Elara.AST.Name

Methods

toJSON :: Name -> Value #

toEncoding :: Name -> Encoding #

toJSONList :: [Name] -> Value #

toEncodingList :: [Name] -> Encoding #

omitField :: Name -> Bool #

NameLike Name Source #

Instance details

Defined in Elara.AST.Name

Methods

nameText :: Name -> Text Source #

fullNameText :: Name -> Text Source #

moduleName :: Name -> Maybe ModuleName Source #

ToName Name Source #

Instance details

Defined in Elara.AST.Name

Methods

toName :: Name -> Name Source #

Pretty Name Source #

Instance details

Defined in Elara.AST.Name

Methods

pretty :: Name -> Doc AnsiStyle Source #

Data Name Source #

Instance details

Defined in Elara.AST.Name

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Name -> c Name #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Name #

toConstr :: Name -> Constr #

dataTypeOf :: Name -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Name) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Name) #

gmapT :: (forall b. Data b => b -> b) -> Name -> Name #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Name -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Name -> r #

gmapQ :: (forall d. Data d => d -> u) -> Name -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Name -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Name -> m Name #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Name -> m Name #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Name -> m Name #

Generic Name Source #

Instance details

Defined in Elara.AST.Name

Associated Types

type Rep Name

Instance details

Defined in Elara.AST.Name

type Rep Name = D1 ('MetaData "Name" "Elara.AST.Name" "elara-0.1.0-inplace" 'False) (C1 ('MetaCons "NVarName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VarName)) :+: C1 ('MetaCons "NTypeName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeName)))

Methods

from :: Name -> Rep Name x #

to :: Rep Name x -> Name #

Show Name Source #

Instance details

Defined in Elara.AST.Name

Methods

showsPrec :: Int -> Name -> ShowS #

show :: Name -> String #

showList :: [Name] -> ShowS #

Eq Name Source #

Instance details

Defined in Elara.AST.Name

Methods

(==) :: Name -> Name -> Bool #

(/=) :: Name -> Name -> Bool #

Ord Name Source #

Instance details

Defined in Elara.AST.Name

Methods

compare :: Name -> Name -> Ordering #

(<) :: Name -> Name -> Bool #

(<=) :: Name -> Name -> Bool #

(>) :: Name -> Name -> Bool #

(>=) :: Name -> Name -> Bool #

max :: Name -> Name -> Name #

min :: Name -> Name -> Name #

Hashable Name Source #

Instance details

Defined in Elara.AST.Name

Methods

hashWithSalt :: Int -> Name -> Int #

hash :: Name -> Int #

HasName Name Name Source #

Instance details

Defined in Elara.AST.Name

Methods

name :: Lens' Name Name Source #

type Rep Name Source #

Instance details

Defined in Elara.AST.Name

type Rep Name = D1 ('MetaData "Name" "Elara.AST.Name" "elara-0.1.0-inplace" 'False) (C1 ('MetaCons "NVarName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VarName)) :+: C1 ('MetaCons "NTypeName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeName)))

type UniqueName = Unique Name Source #

class NameLike name where Source #

Minimal complete definition

nameText, fullNameText

Methods

nameText :: name -> Text Source #

Get the name as a Text. This will not include qualification, if present

fullNameText :: name -> Text Source #

Get the full name, including qualification, if present

moduleName :: name -> Maybe ModuleName Source #

Instances

Instances details

NameLike LowerAlphaName Source #
Instance details Defined in Elara.AST.Name Methods nameText :: LowerAlphaName -> Text Source # fullNameText :: LowerAlphaName -> Text Source # moduleName :: LowerAlphaName -> Maybe ModuleName Source #
NameLike ModuleName Source #
Instance details Defined in Elara.AST.Name Methods nameText :: ModuleName -> Text Source # fullNameText :: ModuleName -> Text Source # moduleName :: ModuleName -> Maybe ModuleName Source #
NameLike Name Source #
Instance details Defined in Elara.AST.Name Methods nameText :: Name -> Text Source # fullNameText :: Name -> Text Source # moduleName :: Name -> Maybe ModuleName Source #
NameLike OpName Source #
Instance details Defined in Elara.AST.Name Methods nameText :: OpName -> Text Source # fullNameText :: OpName -> Text Source # moduleName :: OpName -> Maybe ModuleName Source #
NameLike TypeName Source #
Instance details Defined in Elara.AST.Name Methods nameText :: TypeName -> Text Source # fullNameText :: TypeName -> Text Source # moduleName :: TypeName -> Maybe ModuleName Source #
NameLike VarName Source #
Instance details Defined in Elara.AST.Name Methods nameText :: VarName -> Text Source # fullNameText :: VarName -> Text Source # moduleName :: VarName -> Maybe ModuleName Source #
NameLike VarOrConName Source #
Instance details Defined in Elara.AST.Name Methods nameText :: VarOrConName -> Text Source # fullNameText :: VarOrConName -> Text Source # moduleName :: VarOrConName -> Maybe ModuleName Source #
NameLike n => NameLike (MaybeQualified n) Source #
Instance details Defined in Elara.AST.Name Methods nameText :: MaybeQualified n -> Text Source # fullNameText :: MaybeQualified n -> Text Source # moduleName :: MaybeQualified n -> Maybe ModuleName Source #
NameLike n => NameLike (Qualified n) Source #
Instance details Defined in Elara.AST.Name Methods nameText :: Qualified n -> Text Source # fullNameText :: Qualified n -> Text Source # moduleName :: Qualified n -> Maybe ModuleName Source #
NameLike n => NameLike (Unqualified n) Source #
Instance details Defined in Elara.AST.Name Methods nameText :: Unqualified n -> Text Source # fullNameText :: Unqualified n -> Text Source # moduleName :: Unqualified n -> Maybe ModuleName Source #
NameLike n => NameLike (Located n) Source #
Instance details Defined in Elara.AST.Name Methods nameText :: Located n -> Text Source # fullNameText :: Located n -> Text Source # moduleName :: Located n -> Maybe ModuleName Source #

class ToName name where Source #

Methods

toName :: name -> Name Source #

Instances

Instances details

ToName Name Source #
Instance details Defined in Elara.AST.Name Methods toName :: Name -> Name Source #
ToName OpName Source #
Instance details Defined in Elara.AST.Name Methods toName :: OpName -> Name Source #
ToName TypeName Source #
Instance details Defined in Elara.AST.Name Methods toName :: TypeName -> Name Source #
ToName VarName Source #
Instance details Defined in Elara.AST.Name Methods toName :: VarName -> Name Source #
ToName VarOrConName Source #
Instance details Defined in Elara.AST.Name Methods toName :: VarOrConName -> Name Source #
ToName n => ToName (MaybeQualified n) Source #
Instance details Defined in Elara.AST.Name Methods toName :: MaybeQualified n -> Name Source #
ToName n => ToName (Qualified n) Source #
Instance details Defined in Elara.AST.Name Methods toName :: Qualified n -> Name Source #

data MaybeQualified name Source #

Constructors

MaybeQualified
Fields _maybeQualifiedName :: name _maybeQualifiedQualifier :: Maybe ModuleName

Instances

Instances details

Functor MaybeQualified Source #

Instance details

Defined in Elara.AST.Name

Methods

fmap :: (a -> b) -> MaybeQualified a -> MaybeQualified b #

(<$) :: a -> MaybeQualified b -> MaybeQualified a #

Foldable MaybeQualified Source #

Instance details

Defined in Elara.AST.Name

Methods

fold :: Monoid m => MaybeQualified m -> m #

foldMap :: Monoid m => (a -> m) -> MaybeQualified a -> m #

foldMap' :: Monoid m => (a -> m) -> MaybeQualified a -> m #

foldr :: (a -> b -> b) -> b -> MaybeQualified a -> b #

foldr' :: (a -> b -> b) -> b -> MaybeQualified a -> b #

foldl :: (b -> a -> b) -> b -> MaybeQualified a -> b #

foldl' :: (b -> a -> b) -> b -> MaybeQualified a -> b #

foldr1 :: (a -> a -> a) -> MaybeQualified a -> a #

foldl1 :: (a -> a -> a) -> MaybeQualified a -> a #

toList :: MaybeQualified a -> [a] #

null :: MaybeQualified a -> Bool #

length :: MaybeQualified a -> Int #

elem :: Eq a => a -> MaybeQualified a -> Bool #

maximum :: Ord a => MaybeQualified a -> a #

minimum :: Ord a => MaybeQualified a -> a #

sum :: Num a => MaybeQualified a -> a #

product :: Num a => MaybeQualified a -> a #

Traversable MaybeQualified Source #

Instance details

Defined in Elara.AST.Name

Methods

traverse :: Applicative f => (a -> f b) -> MaybeQualified a -> f (MaybeQualified b) #

sequenceA :: Applicative f => MaybeQualified (f a) -> f (MaybeQualified a) #

mapM :: Monad m => (a -> m b) -> MaybeQualified a -> m (MaybeQualified b) #

sequence :: Monad m => MaybeQualified (m a) -> m (MaybeQualified a) #

NameLike n => NameLike (MaybeQualified n) Source #

Instance details

Defined in Elara.AST.Name

Methods

nameText :: MaybeQualified n -> Text Source #

fullNameText :: MaybeQualified n -> Text Source #

moduleName :: MaybeQualified n -> Maybe ModuleName Source #

ToName n => ToName (MaybeQualified n) Source #

Instance details

Defined in Elara.AST.Name

Methods

toName :: MaybeQualified n -> Name Source #

Pretty (MaybeQualified VarName) Source #

Instance details

Defined in Elara.AST.Name

Methods

pretty :: MaybeQualified VarName -> Doc AnsiStyle Source #

Pretty x => Pretty (MaybeQualified x) Source #

Instance details

Defined in Elara.AST.Name

Methods

pretty :: MaybeQualified x -> Doc AnsiStyle Source #

Data name => Data (MaybeQualified name) Source #

Instance details

Defined in Elara.AST.Name

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MaybeQualified name -> c (MaybeQualified name) #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (MaybeQualified name) #

toConstr :: MaybeQualified name -> Constr #

dataTypeOf :: MaybeQualified name -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (MaybeQualified name)) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (MaybeQualified name)) #

gmapT :: (forall b. Data b => b -> b) -> MaybeQualified name -> MaybeQualified name #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MaybeQualified name -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MaybeQualified name -> r #

gmapQ :: (forall d. Data d => d -> u) -> MaybeQualified name -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> MaybeQualified name -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> MaybeQualified name -> m (MaybeQualified name) #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MaybeQualified name -> m (MaybeQualified name) #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MaybeQualified name -> m (MaybeQualified name) #

Generic (MaybeQualified name) Source #

Instance details

Defined in Elara.AST.Name

Associated Types

type Rep (MaybeQualified name)

Instance details

Defined in Elara.AST.Name

type Rep (MaybeQualified name) = D1 ('MetaData "MaybeQualified" "Elara.AST.Name" "elara-0.1.0-inplace" 'False) (C1 ('MetaCons "MaybeQualified" 'PrefixI 'True) (S1 ('MetaSel ('Just "_maybeQualifiedName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 name) :*: S1 ('MetaSel ('Just "_maybeQualifiedQualifier") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ModuleName))))

Methods

from :: MaybeQualified name -> Rep (MaybeQualified name) x #

to :: Rep (MaybeQualified name) x -> MaybeQualified name #

Show name => Show (MaybeQualified name) Source #

Instance details

Defined in Elara.AST.Name

Methods

showsPrec :: Int -> MaybeQualified name -> ShowS #

show :: MaybeQualified name -> String #

showList :: [MaybeQualified name] -> ShowS #

Eq name => Eq (MaybeQualified name) Source #

Instance details

Defined in Elara.AST.Name

Methods

(==) :: MaybeQualified name -> MaybeQualified name -> Bool #

(/=) :: MaybeQualified name -> MaybeQualified name -> Bool #

Ord name => Ord (MaybeQualified name) Source #

Instance details

Defined in Elara.AST.Name

Methods

compare :: MaybeQualified name -> MaybeQualified name -> Ordering #

(<) :: MaybeQualified name -> MaybeQualified name -> Bool #

(<=) :: MaybeQualified name -> MaybeQualified name -> Bool #

(>) :: MaybeQualified name -> MaybeQualified name -> Bool #

(>=) :: MaybeQualified name -> MaybeQualified name -> Bool #

max :: MaybeQualified name -> MaybeQualified name -> MaybeQualified name #

min :: MaybeQualified name -> MaybeQualified name -> MaybeQualified name #

HasName (MaybeQualified n) n Source #

Instance details

Defined in Elara.AST.Name

Methods

name :: Lens' (MaybeQualified n) n Source #

type Rep (MaybeQualified name) Source #

Instance details

Defined in Elara.AST.Name

type Rep (MaybeQualified name) = D1 ('MetaData "MaybeQualified" "Elara.AST.Name" "elara-0.1.0-inplace" 'False) (C1 ('MetaCons "MaybeQualified" 'PrefixI 'True) (S1 ('MetaSel ('Just "_maybeQualifiedName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 name) :*: S1 ('MetaSel ('Just "_maybeQualifiedQualifier") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ModuleName))))

data Qualified name Source #

Constructors

Qualified
Fields _qualifiedName :: name qualifier :: ModuleName

Instances

Instances details

Functor Qualified Source #

Instance details

Defined in Elara.AST.Name

Methods

fmap :: (a -> b) -> Qualified a -> Qualified b #

(<$) :: a -> Qualified b -> Qualified a #

Foldable Qualified Source #

Instance details

Defined in Elara.AST.Name

Methods

fold :: Monoid m => Qualified m -> m #

foldMap :: Monoid m => (a -> m) -> Qualified a -> m #

foldMap' :: Monoid m => (a -> m) -> Qualified a -> m #

foldr :: (a -> b -> b) -> b -> Qualified a -> b #

foldr' :: (a -> b -> b) -> b -> Qualified a -> b #

foldl :: (b -> a -> b) -> b -> Qualified a -> b #

foldl' :: (b -> a -> b) -> b -> Qualified a -> b #

foldr1 :: (a -> a -> a) -> Qualified a -> a #

foldl1 :: (a -> a -> a) -> Qualified a -> a #

toList :: Qualified a -> [a] #

null :: Qualified a -> Bool #

length :: Qualified a -> Int #

elem :: Eq a => a -> Qualified a -> Bool #

maximum :: Ord a => Qualified a -> a #

minimum :: Ord a => Qualified a -> a #

sum :: Num a => Qualified a -> a #

product :: Num a => Qualified a -> a #

Traversable Qualified Source #

Instance details

Defined in Elara.AST.Name

Methods

traverse :: Applicative f => (a -> f b) -> Qualified a -> f (Qualified b) #

sequenceA :: Applicative f => Qualified (f a) -> f (Qualified a) #

mapM :: Monad m => (a -> m b) -> Qualified a -> m (Qualified b) #

sequence :: Monad m => Qualified (m a) -> m (Qualified a) #

ToJSON n => ToJSON (Qualified n) Source #

Instance details

Defined in Elara.AST.Name

Methods

toJSON :: Qualified n -> Value #

toEncoding :: Qualified n -> Encoding #

toJSONList :: [Qualified n] -> Value #

toEncodingList :: [Qualified n] -> Encoding #

omitField :: Qualified n -> Bool #

NameLike n => NameLike (Qualified n) Source #

Instance details

Defined in Elara.AST.Name

Methods

nameText :: Qualified n -> Text Source #

fullNameText :: Qualified n -> Text Source #

moduleName :: Qualified n -> Maybe ModuleName Source #

ToName n => ToName (Qualified n) Source #

Instance details

Defined in Elara.AST.Name

Methods

toName :: Qualified n -> Name Source #

Pretty x => Pretty (Qualified x) Source #

Instance details

Defined in Elara.AST.Name

Methods

pretty :: Qualified x -> Doc AnsiStyle Source #

Data name => Data (Qualified name) Source #

Instance details

Defined in Elara.AST.Name

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Qualified name -> c (Qualified name) #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Qualified name) #

toConstr :: Qualified name -> Constr #

dataTypeOf :: Qualified name -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Qualified name)) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Qualified name)) #

gmapT :: (forall b. Data b => b -> b) -> Qualified name -> Qualified name #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Qualified name -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Qualified name -> r #

gmapQ :: (forall d. Data d => d -> u) -> Qualified name -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Qualified name -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Qualified name -> m (Qualified name) #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Qualified name -> m (Qualified name) #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Qualified name -> m (Qualified name) #

Generic (Qualified name) Source #

Instance details

Defined in Elara.AST.Name

Associated Types

type Rep (Qualified name)

Instance details

Defined in Elara.AST.Name

type Rep (Qualified name) = D1 ('MetaData "Qualified" "Elara.AST.Name" "elara-0.1.0-inplace" 'False) (C1 ('MetaCons "Qualified" 'PrefixI 'True) (S1 ('MetaSel ('Just "_qualifiedName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 name) :*: S1 ('MetaSel ('Just "qualifier") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ModuleName)))

Methods

from :: Qualified name -> Rep (Qualified name) x #

to :: Rep (Qualified name) x -> Qualified name #

Show name => Show (Qualified name) Source #

Instance details

Defined in Elara.AST.Name

Methods

showsPrec :: Int -> Qualified name -> ShowS #

show :: Qualified name -> String #

showList :: [Qualified name] -> ShowS #

Eq name => Eq (Qualified name) Source #

Instance details

Defined in Elara.AST.Name

Methods

(==) :: Qualified name -> Qualified name -> Bool #

(/=) :: Qualified name -> Qualified name -> Bool #

Ord name => Ord (Qualified name) Source #

Instance details

Defined in Elara.AST.Name

Methods

compare :: Qualified name -> Qualified name -> Ordering #

(<) :: Qualified name -> Qualified name -> Bool #

(<=) :: Qualified name -> Qualified name -> Bool #

(>) :: Qualified name -> Qualified name -> Bool #

(>=) :: Qualified name -> Qualified name -> Bool #

max :: Qualified name -> Qualified name -> Qualified name #

min :: Qualified name -> Qualified name -> Qualified name #

Hashable b => Hashable (Qualified b) Source #

Instance details

Defined in Elara.AST.Name

Methods

hashWithSalt :: Int -> Qualified b -> Int #

hash :: Qualified b -> Int #

HasName (Qualified n) n Source #

Instance details

Defined in Elara.AST.Name

Methods

name :: Lens' (Qualified n) n Source #

type Rep (Qualified name) Source #

Instance details

Defined in Elara.AST.Name

type Rep (Qualified name) = D1 ('MetaData "Qualified" "Elara.AST.Name" "elara-0.1.0-inplace" 'False) (C1 ('MetaCons "Qualified" 'PrefixI 'True) (S1 ('MetaSel ('Just "_qualifiedName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 name) :*: S1 ('MetaSel ('Just "qualifier") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ModuleName)))

unqualified :: Lens' (Qualified name) name Source #

newtype Unqualified name Source #

Constructors

Unqualified
Fields _unqualifiedName :: name

Instances

Instances details

Functor Unqualified Source #

Instance details

Defined in Elara.AST.Name

Methods

fmap :: (a -> b) -> Unqualified a -> Unqualified b #

(<$) :: a -> Unqualified b -> Unqualified a #

Foldable Unqualified Source #

Instance details

Defined in Elara.AST.Name

Methods

fold :: Monoid m => Unqualified m -> m #

foldMap :: Monoid m => (a -> m) -> Unqualified a -> m #

foldMap' :: Monoid m => (a -> m) -> Unqualified a -> m #

foldr :: (a -> b -> b) -> b -> Unqualified a -> b #

foldr' :: (a -> b -> b) -> b -> Unqualified a -> b #

foldl :: (b -> a -> b) -> b -> Unqualified a -> b #

foldl' :: (b -> a -> b) -> b -> Unqualified a -> b #

foldr1 :: (a -> a -> a) -> Unqualified a -> a #

foldl1 :: (a -> a -> a) -> Unqualified a -> a #

toList :: Unqualified a -> [a] #

null :: Unqualified a -> Bool #

length :: Unqualified a -> Int #

elem :: Eq a => a -> Unqualified a -> Bool #

maximum :: Ord a => Unqualified a -> a #

minimum :: Ord a => Unqualified a -> a #

sum :: Num a => Unqualified a -> a #

product :: Num a => Unqualified a -> a #

Traversable Unqualified Source #

Instance details

Defined in Elara.AST.Name

Methods

traverse :: Applicative f => (a -> f b) -> Unqualified a -> f (Unqualified b) #

sequenceA :: Applicative f => Unqualified (f a) -> f (Unqualified a) #

mapM :: Monad m => (a -> m b) -> Unqualified a -> m (Unqualified b) #

sequence :: Monad m => Unqualified (m a) -> m (Unqualified a) #

NameLike n => NameLike (Unqualified n) Source #

Instance details

Defined in Elara.AST.Name

Methods

nameText :: Unqualified n -> Text Source #

fullNameText :: Unqualified n -> Text Source #

moduleName :: Unqualified n -> Maybe ModuleName Source #

Pretty x => Pretty (Unqualified x) Source #

Instance details

Defined in Elara.AST.Name

Methods

pretty :: Unqualified x -> Doc AnsiStyle Source #

Data name => Data (Unqualified name) Source #

Instance details

Defined in Elara.AST.Name

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Unqualified name -> c (Unqualified name) #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Unqualified name) #

toConstr :: Unqualified name -> Constr #

dataTypeOf :: Unqualified name -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Unqualified name)) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Unqualified name)) #

gmapT :: (forall b. Data b => b -> b) -> Unqualified name -> Unqualified name #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Unqualified name -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Unqualified name -> r #

gmapQ :: (forall d. Data d => d -> u) -> Unqualified name -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Unqualified name -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Unqualified name -> m (Unqualified name) #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Unqualified name -> m (Unqualified name) #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Unqualified name -> m (Unqualified name) #

Generic (Unqualified name) Source #

Instance details

Defined in Elara.AST.Name

Associated Types

type Rep (Unqualified name)
Instance details Defined in Elara.AST.Name type Rep (Unqualified name) = D1 ('MetaData "Unqualified" "Elara.AST.Name" "elara-0.1.0-inplace" 'True) (C1 ('MetaCons "Unqualified" 'PrefixI 'True) (S1 ('MetaSel ('Just "_unqualifiedName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 name)))

Methods

from :: Unqualified name -> Rep (Unqualified name) x #

to :: Rep (Unqualified name) x -> Unqualified name #

Show name => Show (Unqualified name) Source #

Instance details

Defined in Elara.AST.Name

Methods

showsPrec :: Int -> Unqualified name -> ShowS #

show :: Unqualified name -> String #

showList :: [Unqualified name] -> ShowS #

Eq name => Eq (Unqualified name) Source #

Instance details

Defined in Elara.AST.Name

Methods

(==) :: Unqualified name -> Unqualified name -> Bool #

(/=) :: Unqualified name -> Unqualified name -> Bool #

Ord name => Ord (Unqualified name) Source #

Instance details

Defined in Elara.AST.Name

Methods

compare :: Unqualified name -> Unqualified name -> Ordering #

(<) :: Unqualified name -> Unqualified name -> Bool #

(<=) :: Unqualified name -> Unqualified name -> Bool #

(>) :: Unqualified name -> Unqualified name -> Bool #

(>=) :: Unqualified name -> Unqualified name -> Bool #

max :: Unqualified name -> Unqualified name -> Unqualified name #

min :: Unqualified name -> Unqualified name -> Unqualified name #

HasName (Unqualified n) n Source #

Instance details

Defined in Elara.AST.Name

Methods

name :: Lens' (Unqualified n) n Source #

type Rep (Unqualified name) Source #

Instance details

Defined in Elara.AST.Name

type Rep (Unqualified name) = D1 ('MetaData "Unqualified" "Elara.AST.Name" "elara-0.1.0-inplace" 'True) (C1 ('MetaCons "Unqualified" 'PrefixI 'True) (S1 ('MetaSel ('Just "_unqualifiedName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 name)))

class HasName a n | a -> n where Source #

Methods

name :: Lens' a n Source #

Instances

Instances details

HasName Name Name Source #
Instance details Defined in Elara.AST.Name Methods name :: Lens' Name Name Source #
HasName (MaybeQualified n) n Source #
Instance details Defined in Elara.AST.Name Methods name :: Lens' (MaybeQualified n) n Source #
HasName (Qualified n) n Source #
Instance details Defined in Elara.AST.Name Methods name :: Lens' (Qualified n) n Source #
HasName (Unqualified n) n Source #
Instance details Defined in Elara.AST.Name Methods name :: Lens' (Unqualified n) n Source #

class ContainsName a n | a -> n where Source #

Methods

containedName :: Getter a n Source #