Safe Haskell	Safe-Inferred
Language	GHC2021

Language.Giml.Common

Description

Common data types

Synopsis

newtype TypeVar = TV {
- unTypeVar :: Text
}
newtype TypeCon = TC {
- unTypeCon :: Text
}
newtype Constr = C {
- unConstr :: Text
}
newtype Label = L {
- unLabel :: Text
}
type Record a = Map Label a
data Variant a = Variant Constr a

Documentation

newtype TypeVar Source #

A type variable name

Constructors

TV
Fields unTypeVar :: Text

Instances

Instances details

Data TypeVar Source #
Instance details Defined in Language.Giml.Common Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TypeVar -> c TypeVar # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TypeVar # toConstr :: TypeVar -> Constr # dataTypeOf :: TypeVar -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TypeVar) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TypeVar) # gmapT :: (forall b. Data b => b -> b) -> TypeVar -> TypeVar # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TypeVar -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TypeVar -> r # gmapQ :: (forall d. Data d => d -> u) -> TypeVar -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> TypeVar -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> TypeVar -> m TypeVar # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeVar -> m TypeVar # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeVar -> m TypeVar #
IsString TypeVar Source #
Instance details Defined in Language.Giml.Common Methods fromString :: String -> TypeVar #
Generic TypeVar Source #
Instance details Defined in Language.Giml.Common Associated Types type Rep TypeVar :: Type -> Type # Methods from :: TypeVar -> Rep TypeVar x # to :: Rep TypeVar x -> TypeVar #
Show TypeVar Source #
Instance details Defined in Language.Giml.Common Methods showsPrec :: Int -> TypeVar -> ShowS # show :: TypeVar -> String # showList :: [TypeVar] -> ShowS #
Eq TypeVar Source #
Instance details Defined in Language.Giml.Common Methods (==) :: TypeVar -> TypeVar -> Bool # (/=) :: TypeVar -> TypeVar -> Bool #
Ord TypeVar Source #
Instance details Defined in Language.Giml.Common Methods compare :: TypeVar -> TypeVar -> Ordering # (<) :: TypeVar -> TypeVar -> Bool # (<=) :: TypeVar -> TypeVar -> Bool # (>) :: TypeVar -> TypeVar -> Bool # (>=) :: TypeVar -> TypeVar -> Bool # max :: TypeVar -> TypeVar -> TypeVar # min :: TypeVar -> TypeVar -> TypeVar #
Pretty TypeVar Source #
Instance details Defined in Language.Giml.Common Methods pretty :: TypeVar -> Doc ann # prettyList :: [TypeVar] -> Doc ann #
type Rep TypeVar Source #
Instance details Defined in Language.Giml.Common type Rep TypeVar = D1 ('MetaData "TypeVar" "Language.Giml.Common" "giml-syntax-0.1.0.0-9UQLZqxqQ2EKgcQLvWN9qJ" 'True) (C1 ('MetaCons "TV" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTypeVar") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

newtype TypeCon Source #

A type constructor name

Constructors

TC
Fields unTypeCon :: Text

Instances

Instances details

Data TypeCon Source #
Instance details Defined in Language.Giml.Common Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TypeCon -> c TypeCon # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TypeCon # toConstr :: TypeCon -> Constr # dataTypeOf :: TypeCon -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TypeCon) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TypeCon) # gmapT :: (forall b. Data b => b -> b) -> TypeCon -> TypeCon # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TypeCon -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TypeCon -> r # gmapQ :: (forall d. Data d => d -> u) -> TypeCon -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> TypeCon -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> TypeCon -> m TypeCon # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeCon -> m TypeCon # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeCon -> m TypeCon #
IsString TypeCon Source #
Instance details Defined in Language.Giml.Common Methods fromString :: String -> TypeCon #
Generic TypeCon Source #
Instance details Defined in Language.Giml.Common Associated Types type Rep TypeCon :: Type -> Type # Methods from :: TypeCon -> Rep TypeCon x # to :: Rep TypeCon x -> TypeCon #
Show TypeCon Source #
Instance details Defined in Language.Giml.Common Methods showsPrec :: Int -> TypeCon -> ShowS # show :: TypeCon -> String # showList :: [TypeCon] -> ShowS #
Eq TypeCon Source #
Instance details Defined in Language.Giml.Common Methods (==) :: TypeCon -> TypeCon -> Bool # (/=) :: TypeCon -> TypeCon -> Bool #
Ord TypeCon Source #
Instance details Defined in Language.Giml.Common Methods compare :: TypeCon -> TypeCon -> Ordering # (<) :: TypeCon -> TypeCon -> Bool # (<=) :: TypeCon -> TypeCon -> Bool # (>) :: TypeCon -> TypeCon -> Bool # (>=) :: TypeCon -> TypeCon -> Bool # max :: TypeCon -> TypeCon -> TypeCon # min :: TypeCon -> TypeCon -> TypeCon #
Pretty TypeCon Source #
Instance details Defined in Language.Giml.Common Methods pretty :: TypeCon -> Doc ann # prettyList :: [TypeCon] -> Doc ann #
type Rep TypeCon Source #
Instance details Defined in Language.Giml.Common type Rep TypeCon = D1 ('MetaData "TypeCon" "Language.Giml.Common" "giml-syntax-0.1.0.0-9UQLZqxqQ2EKgcQLvWN9qJ" 'True) (C1 ('MetaCons "TC" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTypeCon") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

newtype Constr Source #

A data constructor

Constructors

C
Fields unConstr :: Text

Instances

Instances details

Data Constr Source #
Instance details Defined in Language.Giml.Common Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Constr -> c Constr # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr0 -> c Constr # toConstr :: Constr -> Constr0 # dataTypeOf :: Constr -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Constr) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Constr) # gmapT :: (forall b. Data b => b -> b) -> Constr -> Constr # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Constr -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Constr -> r # gmapQ :: (forall d. Data d => d -> u) -> Constr -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Constr -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Constr -> m Constr # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Constr -> m Constr # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Constr -> m Constr #
IsString Constr Source #
Instance details Defined in Language.Giml.Common Methods fromString :: String -> Constr #
Generic Constr Source #
Instance details Defined in Language.Giml.Common Associated Types type Rep Constr :: Type -> Type # Methods from :: Constr -> Rep Constr x # to :: Rep Constr x -> Constr #
Show Constr Source #
Instance details Defined in Language.Giml.Common Methods showsPrec :: Int -> Constr -> ShowS # show :: Constr -> String # showList :: [Constr] -> ShowS #
Eq Constr Source #
Instance details Defined in Language.Giml.Common Methods (==) :: Constr -> Constr -> Bool # (/=) :: Constr -> Constr -> Bool #
Ord Constr Source #
Instance details Defined in Language.Giml.Common Methods compare :: Constr -> Constr -> Ordering # (<) :: Constr -> Constr -> Bool # (<=) :: Constr -> Constr -> Bool # (>) :: Constr -> Constr -> Bool # (>=) :: Constr -> Constr -> Bool # max :: Constr -> Constr -> Constr # min :: Constr -> Constr -> Constr #
Pretty Constr Source #
Instance details Defined in Language.Giml.Common Methods pretty :: Constr -> Doc ann # prettyList :: [Constr] -> Doc ann #
type Rep Constr Source #
Instance details Defined in Language.Giml.Common type Rep Constr = D1 ('MetaData "Constr" "Language.Giml.Common" "giml-syntax-0.1.0.0-9UQLZqxqQ2EKgcQLvWN9qJ" 'True) (C1 ('MetaCons "C" 'PrefixI 'True) (S1 ('MetaSel ('Just "unConstr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

newtype Label Source #

A record label

Constructors

L
Fields unLabel :: Text

Instances

Instances details

Data Label Source #
Instance details Defined in Language.Giml.Common Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Label -> c Label # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Label # toConstr :: Label -> Constr # dataTypeOf :: Label -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Label) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Label) # gmapT :: (forall b. Data b => b -> b) -> Label -> Label # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Label -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Label -> r # gmapQ :: (forall d. Data d => d -> u) -> Label -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Label -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Label -> m Label # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Label -> m Label # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Label -> m Label #
IsString Label Source #
Instance details Defined in Language.Giml.Common Methods fromString :: String -> Label #
Generic Label Source #
Instance details Defined in Language.Giml.Common Associated Types type Rep Label :: Type -> Type # Methods from :: Label -> Rep Label x # to :: Rep Label x -> Label #
Show Label Source #
Instance details Defined in Language.Giml.Common Methods showsPrec :: Int -> Label -> ShowS # show :: Label -> String # showList :: [Label] -> ShowS #
Eq Label Source #
Instance details Defined in Language.Giml.Common Methods (==) :: Label -> Label -> Bool # (/=) :: Label -> Label -> Bool #
Ord Label Source #
Instance details Defined in Language.Giml.Common Methods compare :: Label -> Label -> Ordering # (<) :: Label -> Label -> Bool # (<=) :: Label -> Label -> Bool # (>) :: Label -> Label -> Bool # (>=) :: Label -> Label -> Bool # max :: Label -> Label -> Label # min :: Label -> Label -> Label #
Pretty Label Source #
Instance details Defined in Language.Giml.Common Methods pretty :: Label -> Doc ann # prettyList :: [Label] -> Doc ann #
type Rep Label Source #
Instance details Defined in Language.Giml.Common type Rep Label = D1 ('MetaData "Label" "Language.Giml.Common" "giml-syntax-0.1.0.0-9UQLZqxqQ2EKgcQLvWN9qJ" 'True) (C1 ('MetaCons "L" 'PrefixI 'True) (S1 ('MetaSel ('Just "unLabel") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

type Record a = Map Label a Source #

A general record data type

data Variant a Source #

A general variant data type

Constructors

Variant Constr a

Instances

Instances details

Foldable Variant Source #
Instance details Defined in Language.Giml.Common Methods fold :: Monoid m => Variant m -> m # foldMap :: Monoid m => (a -> m) -> Variant a -> m # foldMap' :: Monoid m => (a -> m) -> Variant a -> m # foldr :: (a -> b -> b) -> b -> Variant a -> b # foldr' :: (a -> b -> b) -> b -> Variant a -> b # foldl :: (b -> a -> b) -> b -> Variant a -> b # foldl' :: (b -> a -> b) -> b -> Variant a -> b # foldr1 :: (a -> a -> a) -> Variant a -> a # foldl1 :: (a -> a -> a) -> Variant a -> a # toList :: Variant a -> [a] # null :: Variant a -> Bool # length :: Variant a -> Int # elem :: Eq a => a -> Variant a -> Bool # maximum :: Ord a => Variant a -> a # minimum :: Ord a => Variant a -> a # sum :: Num a => Variant a -> a # product :: Num a => Variant a -> a #
Traversable Variant Source #
Instance details Defined in Language.Giml.Common Methods traverse :: Applicative f => (a -> f b) -> Variant a -> f (Variant b) # sequenceA :: Applicative f => Variant (f a) -> f (Variant a) # mapM :: Monad m => (a -> m b) -> Variant a -> m (Variant b) # sequence :: Monad m => Variant (m a) -> m (Variant a) #
Functor Variant Source #
Instance details Defined in Language.Giml.Common Methods fmap :: (a -> b) -> Variant a -> Variant b # (<$) :: a -> Variant b -> Variant a #
Data a => Data (Variant a) Source #
Instance details Defined in Language.Giml.Common Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Variant a -> c (Variant a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Variant a) # toConstr :: Variant a -> Constr # dataTypeOf :: Variant a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Variant a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Variant a)) # gmapT :: (forall b. Data b => b -> b) -> Variant a -> Variant a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Variant a -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Variant a -> r # gmapQ :: (forall d. Data d => d -> u) -> Variant a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Variant a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Variant a -> m (Variant a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Variant a -> m (Variant a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Variant a -> m (Variant a) #
Show a => Show (Variant a) Source #
Instance details Defined in Language.Giml.Common Methods showsPrec :: Int -> Variant a -> ShowS # show :: Variant a -> String # showList :: [Variant a] -> ShowS #
Eq a => Eq (Variant a) Source #
Instance details Defined in Language.Giml.Common Methods (==) :: Variant a -> Variant a -> Bool # (/=) :: Variant a -> Variant a -> Bool #
Ord a => Ord (Variant a) Source #
Instance details Defined in Language.Giml.Common Methods compare :: Variant a -> Variant a -> Ordering # (<) :: Variant a -> Variant a -> Bool # (<=) :: Variant a -> Variant a -> Bool # (>) :: Variant a -> Variant a -> Bool # (>=) :: Variant a -> Variant a -> Bool # max :: Variant a -> Variant a -> Variant a # min :: Variant a -> Variant a -> Variant a #