Safe Haskell	None
Language	Haskell2010

Coda.Syntax.Name

Documentation

data Name Source #

Constructors

Qualified !Bool !Bool !Text !Text
Unqualified !Bool !Bool !Text

Bundled Patterns

pattern QVarId :: Text -> Text -> Name
pattern QConId :: Text -> Text -> Name
pattern QVarOp :: Text -> Text -> Name
pattern QConOp :: Text -> Text -> Name
pattern VarId :: Text -> Name
pattern ConId :: Text -> Name
pattern VarOp :: Text -> Name
pattern ConOp :: Text -> Name

Instances

Eq Name Source #
Methods (==) :: Name -> Name -> Bool # (/=) :: Name -> Name -> Bool #
Data Name Source #
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 :: (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 #
Ord Name Source #
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 #
Read Name Source #
Methods readsPrec :: Int -> ReadS Name # readList :: ReadS [Name] # readPrec :: ReadPrec Name # readListPrec :: ReadPrec [Name] #
Show Name Source #
Methods showsPrec :: Int -> Name -> ShowS # show :: Name -> String # showList :: [Name] -> ShowS #
Generic Name Source #
Associated Types type Rep Name :: * -> * # Methods from :: Name -> Rep Name x # to :: Rep Name x -> Name #
HasQualifier Name Text Source #
Methods qualifier :: Traversal' Name Text Source #
HasOperator Name Bool Source #
Methods operator :: Lens' Name Bool Source #
HasIdent Name Text Source #
Methods ident :: Lens' Name Text Source #
HasConstructor Name Bool Source #
Methods constructor :: Lens' Name Bool Source #
type Rep Name Source #
type Rep Name = D1 * (MetaData "Name" "Coda.Syntax.Name" "coda-0.0.1-Lrfl9CggVgIC7W2mVql1dH" False) ((:+:) * (C1 * (MetaCons "Qualified" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "_operator") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Bool)) (S1 * (MetaSel (Just Symbol "_constructor") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Bool))) ((::) (S1 * (MetaSel (Just Symbol "_qualifier") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Text)) (S1 * (MetaSel (Just Symbol "_ident") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Text))))) (C1 * (MetaCons "Unqualified" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "_operator") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Bool)) ((::) (S1 * (MetaSel (Just Symbol "_constructor") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Bool)) (S1 * (MetaSel (Just Symbol "_ident") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Text))))))