Safe Haskell	Safe
Language	Haskell2010

Language.Clafer.Front.AbsClafer

Documentation

data Pos Source #

Constructors

Pos Integer Integer

Instances

Eq Pos Source #
Methods (==) :: Pos -> Pos -> Bool # (/=) :: Pos -> Pos -> Bool #
Data Pos Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Pos -> c Pos # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Pos # toConstr :: Pos -> Constr # dataTypeOf :: Pos -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Pos) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Pos) # gmapT :: (forall b. Data b => b -> b) -> Pos -> Pos # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Pos -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Pos -> r # gmapQ :: (forall d. Data d => d -> u) -> Pos -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Pos -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Pos -> m Pos # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Pos -> m Pos # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Pos -> m Pos #
Ord Pos Source #
Methods compare :: Pos -> Pos -> Ordering # (<) :: Pos -> Pos -> Bool # (<=) :: Pos -> Pos -> Bool # (>) :: Pos -> Pos -> Bool # (>=) :: Pos -> Pos -> Bool # max :: Pos -> Pos -> Pos # min :: Pos -> Pos -> Pos #
Read Pos Source #
Methods readsPrec :: Int -> ReadS Pos # readList :: ReadS [Pos] # readPrec :: ReadPrec Pos # readListPrec :: ReadPrec [Pos] #
Show Pos Source #
Methods showsPrec :: Int -> Pos -> ShowS # show :: Pos -> String # showList :: [Pos] -> ShowS #
Generic Pos Source #
Associated Types type Rep Pos :: * -> * # Methods from :: Pos -> Rep Pos x # to :: Rep Pos x -> Pos #
type Rep Pos Source #
type Rep Pos = D1 (MetaData "Pos" "Language.Clafer.Front.AbsClafer" "clafer-0.4.4-XeevqZMpf33nmyUG80V8x" False) (C1 (MetaCons "Pos" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer))))

noPos :: Pos Source #

data Span Source #

Constructors

Span Pos Pos

Instances

Eq Span Source #
Methods (==) :: Span -> Span -> Bool # (/=) :: Span -> Span -> Bool #
Data Span Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Span -> c Span # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Span # toConstr :: Span -> Constr # dataTypeOf :: Span -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Span) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Span) # gmapT :: (forall b. Data b => b -> b) -> Span -> Span # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Span -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Span -> r # gmapQ :: (forall d. Data d => d -> u) -> Span -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Span -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Span -> m Span # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Span -> m Span # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Span -> m Span #
Ord Span Source #
Methods compare :: Span -> Span -> Ordering # (<) :: Span -> Span -> Bool # (<=) :: Span -> Span -> Bool # (>) :: Span -> Span -> Bool # (>=) :: Span -> Span -> Bool # max :: Span -> Span -> Span # min :: Span -> Span -> Span #
Read Span Source #
Methods readsPrec :: Int -> ReadS Span # readList :: ReadS [Span] # readPrec :: ReadPrec Span # readListPrec :: ReadPrec [Span] #
Show Span Source #
Methods showsPrec :: Int -> Span -> ShowS # show :: Span -> String # showList :: [Span] -> ShowS #
Generic Span Source #
Associated Types type Rep Span :: * -> * # Methods from :: Span -> Rep Span x # to :: Rep Span x -> Span #
type Rep Span Source #
type Rep Span = D1 (MetaData "Span" "Language.Clafer.Front.AbsClafer" "clafer-0.4.4-XeevqZMpf33nmyUG80V8x" False) (C1 (MetaCons "Span" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Pos)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Pos))))

noSpan :: Span Source #

class Spannable n where Source #

Minimal complete definition

getSpan

Methods

getSpan :: n -> Span Source #

Instances

Spannable LocId Source #
Methods getSpan :: LocId -> Span Source #
Spannable ModId Source #
Methods getSpan :: ModId -> Span Source #
Spannable EnumId Source #
Methods getSpan :: EnumId -> Span Source #
Spannable Quant Source #
Methods getSpan :: Quant -> Span Source #
Spannable Decl Source #
Methods getSpan :: Decl -> Span Source #
Spannable Exp Source #
Methods getSpan :: Exp -> Span Source #
Spannable Name Source #
Methods getSpan :: Name -> Span Source #
Spannable ExInteger Source #
Methods getSpan :: ExInteger -> Span Source #
Spannable NCard Source #
Methods getSpan :: NCard -> Span Source #
Spannable Card Source #
Methods getSpan :: Card -> Span Source #
Spannable GCard Source #
Methods getSpan :: GCard -> Span Source #
Spannable InitHow Source #
Methods getSpan :: InitHow -> Span Source #
Spannable Init Source #
Methods getSpan :: Init -> Span Source #
Spannable Reference Source #
Methods getSpan :: Reference -> Span Source #
Spannable Super Source #
Methods getSpan :: Super -> Span Source #
Spannable Element Source #
Methods getSpan :: Element -> Span Source #
Spannable Elements Source #
Methods getSpan :: Elements -> Span Source #
Spannable Abstract Source #
Methods getSpan :: Abstract -> Span Source #
Spannable Goal Source #
Methods getSpan :: Goal -> Span Source #
Spannable Assertion Source #
Methods getSpan :: Assertion -> Span Source #
Spannable Constraint Source #
Methods getSpan :: Constraint -> Span Source #
Spannable Clafer Source #
Methods getSpan :: Clafer -> Span Source #
Spannable Declaration Source #
Methods getSpan :: Declaration -> Span Source #
Spannable Module Source #
Methods getSpan :: Module -> Span Source #
Spannable PosChoco Source #
Methods getSpan :: PosChoco -> Span Source #
Spannable PosAlloy Source #
Methods getSpan :: PosAlloy -> Span Source #
Spannable PosBlockComment Source #
Methods getSpan :: PosBlockComment -> Span Source #
Spannable PosLineComment Source #
Methods getSpan :: PosLineComment -> Span Source #
Spannable PosIdent Source #
Methods getSpan :: PosIdent -> Span Source #
Spannable PosString Source #
Methods getSpan :: PosString -> Span Source #
Spannable PosReal Source #
Methods getSpan :: PosReal -> Span Source #
Spannable PosDouble Source #
Methods getSpan :: PosDouble -> Span Source #
Spannable PosInteger Source #
Methods getSpan :: PosInteger -> Span Source #
Spannable n => Spannable [n] Source #
Methods getSpan :: [n] -> Span Source #

(>-) :: Span -> Span -> Span Source #

len :: [a] -> Integer Source #

newtype PosInteger Source #

Constructors

PosInteger ((Int, Int), String)

Instances

Eq PosInteger Source #
Methods (==) :: PosInteger -> PosInteger -> Bool # (/=) :: PosInteger -> PosInteger -> Bool #
Data PosInteger Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PosInteger -> c PosInteger # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PosInteger # toConstr :: PosInteger -> Constr # dataTypeOf :: PosInteger -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c PosInteger) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PosInteger) # gmapT :: (forall b. Data b => b -> b) -> PosInteger -> PosInteger # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PosInteger -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PosInteger -> r # gmapQ :: (forall d. Data d => d -> u) -> PosInteger -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> PosInteger -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> PosInteger -> m PosInteger # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PosInteger -> m PosInteger # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PosInteger -> m PosInteger #
Ord PosInteger Source #
Methods compare :: PosInteger -> PosInteger -> Ordering # (<) :: PosInteger -> PosInteger -> Bool # (<=) :: PosInteger -> PosInteger -> Bool # (>) :: PosInteger -> PosInteger -> Bool # (>=) :: PosInteger -> PosInteger -> Bool # max :: PosInteger -> PosInteger -> PosInteger # min :: PosInteger -> PosInteger -> PosInteger #
Read PosInteger Source #
Methods readsPrec :: Int -> ReadS PosInteger # readList :: ReadS [PosInteger] # readPrec :: ReadPrec PosInteger # readListPrec :: ReadPrec [PosInteger] #
Show PosInteger Source #
Methods showsPrec :: Int -> PosInteger -> ShowS # show :: PosInteger -> String # showList :: [PosInteger] -> ShowS #
Generic PosInteger Source #
Associated Types type Rep PosInteger :: * -> * # Methods from :: PosInteger -> Rep PosInteger x # to :: Rep PosInteger x -> PosInteger #
Spannable PosInteger Source #
Methods getSpan :: PosInteger -> Span Source #
Print PosInteger Source #
Methods prt :: Int -> PosInteger -> Doc Source # prtList :: Int -> [PosInteger] -> Doc Source #
type Rep PosInteger Source #
type Rep PosInteger = D1 (MetaData "PosInteger" "Language.Clafer.Front.AbsClafer" "clafer-0.4.4-XeevqZMpf33nmyUG80V8x" True) (C1 (MetaCons "PosInteger" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ((Int, Int), String))))

newtype PosDouble Source #

Constructors

PosDouble ((Int, Int), String)

Instances

Eq PosDouble Source #
Methods (==) :: PosDouble -> PosDouble -> Bool # (/=) :: PosDouble -> PosDouble -> Bool #
Data PosDouble Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PosDouble -> c PosDouble # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PosDouble # toConstr :: PosDouble -> Constr # dataTypeOf :: PosDouble -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c PosDouble) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PosDouble) # gmapT :: (forall b. Data b => b -> b) -> PosDouble -> PosDouble # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PosDouble -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PosDouble -> r # gmapQ :: (forall d. Data d => d -> u) -> PosDouble -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> PosDouble -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> PosDouble -> m PosDouble # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PosDouble -> m PosDouble # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PosDouble -> m PosDouble #
Ord PosDouble Source #
Methods compare :: PosDouble -> PosDouble -> Ordering # (<) :: PosDouble -> PosDouble -> Bool # (<=) :: PosDouble -> PosDouble -> Bool # (>) :: PosDouble -> PosDouble -> Bool # (>=) :: PosDouble -> PosDouble -> Bool # max :: PosDouble -> PosDouble -> PosDouble # min :: PosDouble -> PosDouble -> PosDouble #
Read PosDouble Source #
Methods readsPrec :: Int -> ReadS PosDouble # readList :: ReadS [PosDouble] # readPrec :: ReadPrec PosDouble # readListPrec :: ReadPrec [PosDouble] #
Show PosDouble Source #
Methods showsPrec :: Int -> PosDouble -> ShowS # show :: PosDouble -> String # showList :: [PosDouble] -> ShowS #
Generic PosDouble Source #
Associated Types type Rep PosDouble :: * -> * # Methods from :: PosDouble -> Rep PosDouble x # to :: Rep PosDouble x -> PosDouble #
Spannable PosDouble Source #
Methods getSpan :: PosDouble -> Span Source #
Print PosDouble Source #
Methods prt :: Int -> PosDouble -> Doc Source # prtList :: Int -> [PosDouble] -> Doc Source #
type Rep PosDouble Source #
type Rep PosDouble = D1 (MetaData "PosDouble" "Language.Clafer.Front.AbsClafer" "clafer-0.4.4-XeevqZMpf33nmyUG80V8x" True) (C1 (MetaCons "PosDouble" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ((Int, Int), String))))

newtype PosReal Source #

Constructors

PosReal ((Int, Int), String)

Instances

Eq PosReal Source #
Methods (==) :: PosReal -> PosReal -> Bool # (/=) :: PosReal -> PosReal -> Bool #
Data PosReal Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PosReal -> c PosReal # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PosReal # toConstr :: PosReal -> Constr # dataTypeOf :: PosReal -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c PosReal) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PosReal) # gmapT :: (forall b. Data b => b -> b) -> PosReal -> PosReal # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PosReal -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PosReal -> r # gmapQ :: (forall d. Data d => d -> u) -> PosReal -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> PosReal -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> PosReal -> m PosReal # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PosReal -> m PosReal # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PosReal -> m PosReal #
Ord PosReal Source #
Methods compare :: PosReal -> PosReal -> Ordering # (<) :: PosReal -> PosReal -> Bool # (<=) :: PosReal -> PosReal -> Bool # (>) :: PosReal -> PosReal -> Bool # (>=) :: PosReal -> PosReal -> Bool # max :: PosReal -> PosReal -> PosReal # min :: PosReal -> PosReal -> PosReal #
Read PosReal Source #
Methods readsPrec :: Int -> ReadS PosReal # readList :: ReadS [PosReal] # readPrec :: ReadPrec PosReal # readListPrec :: ReadPrec [PosReal] #
Show PosReal Source #
Methods showsPrec :: Int -> PosReal -> ShowS # show :: PosReal -> String # showList :: [PosReal] -> ShowS #
Generic PosReal Source #
Associated Types type Rep PosReal :: * -> * # Methods from :: PosReal -> Rep PosReal x # to :: Rep PosReal x -> PosReal #
Spannable PosReal Source #
Methods getSpan :: PosReal -> Span Source #
Print PosReal Source #
Methods prt :: Int -> PosReal -> Doc Source # prtList :: Int -> [PosReal] -> Doc Source #
type Rep PosReal Source #
type Rep PosReal = D1 (MetaData "PosReal" "Language.Clafer.Front.AbsClafer" "clafer-0.4.4-XeevqZMpf33nmyUG80V8x" True) (C1 (MetaCons "PosReal" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ((Int, Int), String))))

newtype PosString Source #

Constructors

PosString ((Int, Int), String)

Instances

Eq PosString Source #
Methods (==) :: PosString -> PosString -> Bool # (/=) :: PosString -> PosString -> Bool #
Data PosString Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PosString -> c PosString # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PosString # toConstr :: PosString -> Constr # dataTypeOf :: PosString -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c PosString) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PosString) # gmapT :: (forall b. Data b => b -> b) -> PosString -> PosString # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PosString -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PosString -> r # gmapQ :: (forall d. Data d => d -> u) -> PosString -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> PosString -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> PosString -> m PosString # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PosString -> m PosString # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PosString -> m PosString #
Ord PosString Source #
Methods compare :: PosString -> PosString -> Ordering # (<) :: PosString -> PosString -> Bool # (<=) :: PosString -> PosString -> Bool # (>) :: PosString -> PosString -> Bool # (>=) :: PosString -> PosString -> Bool # max :: PosString -> PosString -> PosString # min :: PosString -> PosString -> PosString #
Read PosString Source #
Methods readsPrec :: Int -> ReadS PosString # readList :: ReadS [PosString] # readPrec :: ReadPrec PosString # readListPrec :: ReadPrec [PosString] #
Show PosString Source #
Methods showsPrec :: Int -> PosString -> ShowS # show :: PosString -> String # showList :: [PosString] -> ShowS #
Generic PosString Source #
Associated Types type Rep PosString :: * -> * # Methods from :: PosString -> Rep PosString x # to :: Rep PosString x -> PosString #
Spannable PosString Source #
Methods getSpan :: PosString -> Span Source #
Print PosString Source #
Methods prt :: Int -> PosString -> Doc Source # prtList :: Int -> [PosString] -> Doc Source #
type Rep PosString Source #
type Rep PosString = D1 (MetaData "PosString" "Language.Clafer.Front.AbsClafer" "clafer-0.4.4-XeevqZMpf33nmyUG80V8x" True) (C1 (MetaCons "PosString" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ((Int, Int), String))))

newtype PosIdent Source #

Constructors

PosIdent ((Int, Int), String)

Instances

Eq PosIdent Source #
Methods (==) :: PosIdent -> PosIdent -> Bool # (/=) :: PosIdent -> PosIdent -> Bool #
Data PosIdent Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PosIdent -> c PosIdent # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PosIdent # toConstr :: PosIdent -> Constr # dataTypeOf :: PosIdent -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c PosIdent) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PosIdent) # gmapT :: (forall b. Data b => b -> b) -> PosIdent -> PosIdent # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PosIdent -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PosIdent -> r # gmapQ :: (forall d. Data d => d -> u) -> PosIdent -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> PosIdent -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> PosIdent -> m PosIdent # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PosIdent -> m PosIdent # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PosIdent -> m PosIdent #
Ord PosIdent Source #
Methods compare :: PosIdent -> PosIdent -> Ordering # (<) :: PosIdent -> PosIdent -> Bool # (<=) :: PosIdent -> PosIdent -> Bool # (>) :: PosIdent -> PosIdent -> Bool # (>=) :: PosIdent -> PosIdent -> Bool # max :: PosIdent -> PosIdent -> PosIdent # min :: PosIdent -> PosIdent -> PosIdent #
Read PosIdent Source #
Methods readsPrec :: Int -> ReadS PosIdent # readList :: ReadS [PosIdent] # readPrec :: ReadPrec PosIdent # readListPrec :: ReadPrec [PosIdent] #
Show PosIdent Source #
Methods showsPrec :: Int -> PosIdent -> ShowS # show :: PosIdent -> String # showList :: [PosIdent] -> ShowS #
Generic PosIdent Source #
Associated Types type Rep PosIdent :: * -> * # Methods from :: PosIdent -> Rep PosIdent x # to :: Rep PosIdent x -> PosIdent #
Spannable PosIdent Source #
Methods getSpan :: PosIdent -> Span Source #
Print PosIdent Source #
Methods prt :: Int -> PosIdent -> Doc Source # prtList :: Int -> [PosIdent] -> Doc Source #
type Rep PosIdent Source #
type Rep PosIdent = D1 (MetaData "PosIdent" "Language.Clafer.Front.AbsClafer" "clafer-0.4.4-XeevqZMpf33nmyUG80V8x" True) (C1 (MetaCons "PosIdent" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ((Int, Int), String))))

newtype PosLineComment Source #

Constructors

PosLineComment ((Int, Int), String)

Instances

Eq PosLineComment Source #
Methods (==) :: PosLineComment -> PosLineComment -> Bool # (/=) :: PosLineComment -> PosLineComment -> Bool #
Data PosLineComment Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PosLineComment -> c PosLineComment # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PosLineComment # toConstr :: PosLineComment -> Constr # dataTypeOf :: PosLineComment -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c PosLineComment) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PosLineComment) # gmapT :: (forall b. Data b => b -> b) -> PosLineComment -> PosLineComment # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PosLineComment -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PosLineComment -> r # gmapQ :: (forall d. Data d => d -> u) -> PosLineComment -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> PosLineComment -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> PosLineComment -> m PosLineComment # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PosLineComment -> m PosLineComment # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PosLineComment -> m PosLineComment #
Ord PosLineComment Source #
Methods compare :: PosLineComment -> PosLineComment -> Ordering # (<) :: PosLineComment -> PosLineComment -> Bool # (<=) :: PosLineComment -> PosLineComment -> Bool # (>) :: PosLineComment -> PosLineComment -> Bool # (>=) :: PosLineComment -> PosLineComment -> Bool # max :: PosLineComment -> PosLineComment -> PosLineComment # min :: PosLineComment -> PosLineComment -> PosLineComment #
Read PosLineComment Source #
Methods readsPrec :: Int -> ReadS PosLineComment # readList :: ReadS [PosLineComment] # readPrec :: ReadPrec PosLineComment # readListPrec :: ReadPrec [PosLineComment] #
Show PosLineComment Source #
Methods showsPrec :: Int -> PosLineComment -> ShowS # show :: PosLineComment -> String # showList :: [PosLineComment] -> ShowS #
Generic PosLineComment Source #
Associated Types type Rep PosLineComment :: * -> * # Methods from :: PosLineComment -> Rep PosLineComment x # to :: Rep PosLineComment x -> PosLineComment #
Spannable PosLineComment Source #
Methods getSpan :: PosLineComment -> Span Source #
Print PosLineComment Source #
Methods prt :: Int -> PosLineComment -> Doc Source # prtList :: Int -> [PosLineComment] -> Doc Source #
type Rep PosLineComment Source #
type Rep PosLineComment = D1 (MetaData "PosLineComment" "Language.Clafer.Front.AbsClafer" "clafer-0.4.4-XeevqZMpf33nmyUG80V8x" True) (C1 (MetaCons "PosLineComment" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ((Int, Int), String))))

newtype PosBlockComment Source #

Constructors

PosBlockComment ((Int, Int), String)

Instances

Eq PosBlockComment Source #
Methods (==) :: PosBlockComment -> PosBlockComment -> Bool # (/=) :: PosBlockComment -> PosBlockComment -> Bool #
Data PosBlockComment Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PosBlockComment -> c PosBlockComment # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PosBlockComment # toConstr :: PosBlockComment -> Constr # dataTypeOf :: PosBlockComment -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c PosBlockComment) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PosBlockComment) # gmapT :: (forall b. Data b => b -> b) -> PosBlockComment -> PosBlockComment # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PosBlockComment -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PosBlockComment -> r # gmapQ :: (forall d. Data d => d -> u) -> PosBlockComment -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> PosBlockComment -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> PosBlockComment -> m PosBlockComment # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PosBlockComment -> m PosBlockComment # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PosBlockComment -> m PosBlockComment #
Ord PosBlockComment Source #
Methods compare :: PosBlockComment -> PosBlockComment -> Ordering # (<) :: PosBlockComment -> PosBlockComment -> Bool # (<=) :: PosBlockComment -> PosBlockComment -> Bool # (>) :: PosBlockComment -> PosBlockComment -> Bool # (>=) :: PosBlockComment -> PosBlockComment -> Bool # max :: PosBlockComment -> PosBlockComment -> PosBlockComment # min :: PosBlockComment -> PosBlockComment -> PosBlockComment #
Read PosBlockComment Source #
Methods readsPrec :: Int -> ReadS PosBlockComment # readList :: ReadS [PosBlockComment] # readPrec :: ReadPrec PosBlockComment # readListPrec :: ReadPrec [PosBlockComment] #
Show PosBlockComment Source #
Methods showsPrec :: Int -> PosBlockComment -> ShowS # show :: PosBlockComment -> String # showList :: [PosBlockComment] -> ShowS #
Generic PosBlockComment Source #
Associated Types type Rep PosBlockComment :: * -> * # Methods from :: PosBlockComment -> Rep PosBlockComment x # to :: Rep PosBlockComment x -> PosBlockComment #
Spannable PosBlockComment Source #
Methods getSpan :: PosBlockComment -> Span Source #
Print PosBlockComment Source #
Methods prt :: Int -> PosBlockComment -> Doc Source # prtList :: Int -> [PosBlockComment] -> Doc Source #
type Rep PosBlockComment Source #
type Rep PosBlockComment = D1 (MetaData "PosBlockComment" "Language.Clafer.Front.AbsClafer" "clafer-0.4.4-XeevqZMpf33nmyUG80V8x" True) (C1 (MetaCons "PosBlockComment" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ((Int, Int), String))))

newtype PosAlloy Source #

Constructors

PosAlloy ((Int, Int), String)

Instances

Eq PosAlloy Source #
Methods (==) :: PosAlloy -> PosAlloy -> Bool # (/=) :: PosAlloy -> PosAlloy -> Bool #
Data PosAlloy Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PosAlloy -> c PosAlloy # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PosAlloy # toConstr :: PosAlloy -> Constr # dataTypeOf :: PosAlloy -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c PosAlloy) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PosAlloy) # gmapT :: (forall b. Data b => b -> b) -> PosAlloy -> PosAlloy # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PosAlloy -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PosAlloy -> r # gmapQ :: (forall d. Data d => d -> u) -> PosAlloy -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> PosAlloy -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> PosAlloy -> m PosAlloy # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PosAlloy -> m PosAlloy # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PosAlloy -> m PosAlloy #
Ord PosAlloy Source #
Methods compare :: PosAlloy -> PosAlloy -> Ordering # (<) :: PosAlloy -> PosAlloy -> Bool # (<=) :: PosAlloy -> PosAlloy -> Bool # (>) :: PosAlloy -> PosAlloy -> Bool # (>=) :: PosAlloy -> PosAlloy -> Bool # max :: PosAlloy -> PosAlloy -> PosAlloy # min :: PosAlloy -> PosAlloy -> PosAlloy #
Read PosAlloy Source #
Methods readsPrec :: Int -> ReadS PosAlloy # readList :: ReadS [PosAlloy] # readPrec :: ReadPrec PosAlloy # readListPrec :: ReadPrec [PosAlloy] #
Show PosAlloy Source #
Methods showsPrec :: Int -> PosAlloy -> ShowS # show :: PosAlloy -> String # showList :: [PosAlloy] -> ShowS #
Generic PosAlloy Source #
Associated Types type Rep PosAlloy :: * -> * # Methods from :: PosAlloy -> Rep PosAlloy x # to :: Rep PosAlloy x -> PosAlloy #
Spannable PosAlloy Source #
Methods getSpan :: PosAlloy -> Span Source #
Print PosAlloy Source #
Methods prt :: Int -> PosAlloy -> Doc Source # prtList :: Int -> [PosAlloy] -> Doc Source #
type Rep PosAlloy Source #
type Rep PosAlloy = D1 (MetaData "PosAlloy" "Language.Clafer.Front.AbsClafer" "clafer-0.4.4-XeevqZMpf33nmyUG80V8x" True) (C1 (MetaCons "PosAlloy" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ((Int, Int), String))))

newtype PosChoco Source #

Constructors

PosChoco ((Int, Int), String)

Instances

Eq PosChoco Source #
Methods (==) :: PosChoco -> PosChoco -> Bool # (/=) :: PosChoco -> PosChoco -> Bool #
Data PosChoco Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PosChoco -> c PosChoco # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PosChoco # toConstr :: PosChoco -> Constr # dataTypeOf :: PosChoco -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c PosChoco) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PosChoco) # gmapT :: (forall b. Data b => b -> b) -> PosChoco -> PosChoco # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PosChoco -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PosChoco -> r # gmapQ :: (forall d. Data d => d -> u) -> PosChoco -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> PosChoco -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> PosChoco -> m PosChoco # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PosChoco -> m PosChoco # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PosChoco -> m PosChoco #
Ord PosChoco Source #
Methods compare :: PosChoco -> PosChoco -> Ordering # (<) :: PosChoco -> PosChoco -> Bool # (<=) :: PosChoco -> PosChoco -> Bool # (>) :: PosChoco -> PosChoco -> Bool # (>=) :: PosChoco -> PosChoco -> Bool # max :: PosChoco -> PosChoco -> PosChoco # min :: PosChoco -> PosChoco -> PosChoco #
Read PosChoco Source #
Methods readsPrec :: Int -> ReadS PosChoco # readList :: ReadS [PosChoco] # readPrec :: ReadPrec PosChoco # readListPrec :: ReadPrec [PosChoco] #
Show PosChoco Source #
Methods showsPrec :: Int -> PosChoco -> ShowS # show :: PosChoco -> String # showList :: [PosChoco] -> ShowS #
Generic PosChoco Source #
Associated Types type Rep PosChoco :: * -> * # Methods from :: PosChoco -> Rep PosChoco x # to :: Rep PosChoco x -> PosChoco #
Spannable PosChoco Source #
Methods getSpan :: PosChoco -> Span Source #
Print PosChoco Source #
Methods prt :: Int -> PosChoco -> Doc Source # prtList :: Int -> [PosChoco] -> Doc Source #
type Rep PosChoco Source #
type Rep PosChoco = D1 (MetaData "PosChoco" "Language.Clafer.Front.AbsClafer" "clafer-0.4.4-XeevqZMpf33nmyUG80V8x" True) (C1 (MetaCons "PosChoco" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ((Int, Int), String))))

data Module Source #

Constructors

Module Span [Declaration]

Instances

Eq Module Source #
Methods (==) :: Module -> Module -> Bool # (/=) :: Module -> Module -> Bool #
Data Module Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Module -> c Module # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Module # toConstr :: Module -> Constr # dataTypeOf :: Module -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Module) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Module) # gmapT :: (forall b. Data b => b -> b) -> Module -> Module # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Module -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Module -> r # gmapQ :: (forall d. Data d => d -> u) -> Module -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Module -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Module -> m Module # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Module -> m Module # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Module -> m Module #
Ord Module Source #
Methods compare :: Module -> Module -> Ordering # (<) :: Module -> Module -> Bool # (<=) :: Module -> Module -> Bool # (>) :: Module -> Module -> Bool # (>=) :: Module -> Module -> Bool # max :: Module -> Module -> Module # min :: Module -> Module -> Module #
Read Module Source #
Methods readsPrec :: Int -> ReadS Module # readList :: ReadS [Module] # readPrec :: ReadPrec Module # readListPrec :: ReadPrec [Module] #
Show Module Source #
Methods showsPrec :: Int -> Module -> ShowS # show :: Module -> String # showList :: [Module] -> ShowS #
Generic Module Source #
Associated Types type Rep Module :: * -> * # Methods from :: Module -> Rep Module x # to :: Rep Module x -> Module #
Spannable Module Source #
Methods getSpan :: Module -> Span Source #
Print Module Source #
Methods prt :: Int -> Module -> Doc Source # prtList :: Int -> [Module] -> Doc Source #
type Rep Module Source #
type Rep Module = D1 (MetaData "Module" "Language.Clafer.Front.AbsClafer" "clafer-0.4.4-XeevqZMpf33nmyUG80V8x" False) (C1 (MetaCons "Module" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Declaration]))))

data Declaration Source #

Constructors

EnumDecl Span PosIdent [EnumId]
ElementDecl Span Element

Instances

Eq Declaration Source #
Methods (==) :: Declaration -> Declaration -> Bool # (/=) :: Declaration -> Declaration -> Bool #
Data Declaration Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Declaration -> c Declaration # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Declaration # toConstr :: Declaration -> Constr # dataTypeOf :: Declaration -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Declaration) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Declaration) # gmapT :: (forall b. Data b => b -> b) -> Declaration -> Declaration # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Declaration -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Declaration -> r # gmapQ :: (forall d. Data d => d -> u) -> Declaration -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Declaration -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Declaration -> m Declaration # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Declaration -> m Declaration # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Declaration -> m Declaration #
Ord Declaration Source #
Methods compare :: Declaration -> Declaration -> Ordering # (<) :: Declaration -> Declaration -> Bool # (<=) :: Declaration -> Declaration -> Bool # (>) :: Declaration -> Declaration -> Bool # (>=) :: Declaration -> Declaration -> Bool # max :: Declaration -> Declaration -> Declaration # min :: Declaration -> Declaration -> Declaration #
Read Declaration Source #
Methods readsPrec :: Int -> ReadS Declaration # readList :: ReadS [Declaration] # readPrec :: ReadPrec Declaration # readListPrec :: ReadPrec [Declaration] #
Show Declaration Source #
Methods showsPrec :: Int -> Declaration -> ShowS # show :: Declaration -> String # showList :: [Declaration] -> ShowS #
Generic Declaration Source #
Associated Types type Rep Declaration :: * -> * # Methods from :: Declaration -> Rep Declaration x # to :: Rep Declaration x -> Declaration #
Spannable Declaration Source #
Methods getSpan :: Declaration -> Span Source #
Print Declaration Source #
Methods prt :: Int -> Declaration -> Doc Source # prtList :: Int -> [Declaration] -> Doc Source #
type Rep Declaration Source #
type Rep Declaration = D1 (MetaData "Declaration" "Language.Clafer.Front.AbsClafer" "clafer-0.4.4-XeevqZMpf33nmyUG80V8x" False) ((:+:) (C1 (MetaCons "EnumDecl" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PosIdent)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [EnumId]))))) (C1 (MetaCons "ElementDecl" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Element)))))

data Clafer Source #

Constructors

Clafer Span Abstract GCard PosIdent Super Reference Card Init Elements

Instances

Eq Clafer Source #
Methods (==) :: Clafer -> Clafer -> Bool # (/=) :: Clafer -> Clafer -> Bool #
Data Clafer Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Clafer -> c Clafer # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Clafer # toConstr :: Clafer -> Constr # dataTypeOf :: Clafer -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Clafer) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Clafer) # gmapT :: (forall b. Data b => b -> b) -> Clafer -> Clafer # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Clafer -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Clafer -> r # gmapQ :: (forall d. Data d => d -> u) -> Clafer -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Clafer -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Clafer -> m Clafer # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Clafer -> m Clafer # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Clafer -> m Clafer #
Ord Clafer Source #
Methods compare :: Clafer -> Clafer -> Ordering # (<) :: Clafer -> Clafer -> Bool # (<=) :: Clafer -> Clafer -> Bool # (>) :: Clafer -> Clafer -> Bool # (>=) :: Clafer -> Clafer -> Bool # max :: Clafer -> Clafer -> Clafer # min :: Clafer -> Clafer -> Clafer #
Read Clafer Source #
Methods readsPrec :: Int -> ReadS Clafer # readList :: ReadS [Clafer] # readPrec :: ReadPrec Clafer # readListPrec :: ReadPrec [Clafer] #
Show Clafer Source #
Methods showsPrec :: Int -> Clafer -> ShowS # show :: Clafer -> String # showList :: [Clafer] -> ShowS #
Generic Clafer Source #
Associated Types type Rep Clafer :: * -> * # Methods from :: Clafer -> Rep Clafer x # to :: Rep Clafer x -> Clafer #
Spannable Clafer Source #
Methods getSpan :: Clafer -> Span Source #
Print Clafer Source #
Methods prt :: Int -> Clafer -> Doc Source # prtList :: Int -> [Clafer] -> Doc Source #
type Rep Clafer Source #
type Rep Clafer = D1 (MetaData "Clafer" "Language.Clafer.Front.AbsClafer" "clafer-0.4.4-XeevqZMpf33nmyUG80V8x" False) (C1 (MetaCons "Clafer" PrefixI False) ((::) ((::) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Abstract))) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 GCard)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PosIdent)))) ((::) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Super)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Reference))) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Card)) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Init)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Elements)))))))

data Constraint Source #

Constructors

Constraint Span [Exp]

Instances

Eq Constraint Source #
Methods (==) :: Constraint -> Constraint -> Bool # (/=) :: Constraint -> Constraint -> Bool #
Data Constraint Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Constraint -> c Constraint # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Constraint # toConstr :: Constraint -> Constr # dataTypeOf :: Constraint -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Constraint) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Constraint) # gmapT :: (forall b. Data b => b -> b) -> Constraint -> Constraint # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Constraint -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Constraint -> r # gmapQ :: (forall d. Data d => d -> u) -> Constraint -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Constraint -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Constraint -> m Constraint # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Constraint -> m Constraint # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Constraint -> m Constraint #
Ord Constraint Source #
Methods compare :: Constraint -> Constraint -> Ordering # (<) :: Constraint -> Constraint -> Bool # (<=) :: Constraint -> Constraint -> Bool # (>) :: Constraint -> Constraint -> Bool # (>=) :: Constraint -> Constraint -> Bool # max :: Constraint -> Constraint -> Constraint # min :: Constraint -> Constraint -> Constraint #
Read Constraint Source #
Methods readsPrec :: Int -> ReadS Constraint # readList :: ReadS [Constraint] # readPrec :: ReadPrec Constraint # readListPrec :: ReadPrec [Constraint] #
Show Constraint Source #
Methods showsPrec :: Int -> Constraint -> ShowS # show :: Constraint -> String # showList :: [Constraint] -> ShowS #
Generic Constraint Source #
Associated Types type Rep Constraint :: * -> * # Methods from :: Constraint -> Rep Constraint x # to :: Rep Constraint x -> Constraint #
Spannable Constraint Source #
Methods getSpan :: Constraint -> Span Source #
Print Constraint Source #
Methods prt :: Int -> Constraint -> Doc Source # prtList :: Int -> [Constraint] -> Doc Source #
type Rep Constraint Source #
type Rep Constraint = D1 (MetaData "Constraint" "Language.Clafer.Front.AbsClafer" "clafer-0.4.4-XeevqZMpf33nmyUG80V8x" False) (C1 (MetaCons "Constraint" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Exp]))))

data Assertion Source #

Constructors

Assertion Span [Exp]

Instances

Eq Assertion Source #
Methods (==) :: Assertion -> Assertion -> Bool # (/=) :: Assertion -> Assertion -> Bool #
Data Assertion Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Assertion -> c Assertion # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Assertion # toConstr :: Assertion -> Constr # dataTypeOf :: Assertion -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Assertion) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Assertion) # gmapT :: (forall b. Data b => b -> b) -> Assertion -> Assertion # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Assertion -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Assertion -> r # gmapQ :: (forall d. Data d => d -> u) -> Assertion -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Assertion -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Assertion -> m Assertion # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Assertion -> m Assertion # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Assertion -> m Assertion #
Ord Assertion Source #
Methods compare :: Assertion -> Assertion -> Ordering # (<) :: Assertion -> Assertion -> Bool # (<=) :: Assertion -> Assertion -> Bool # (>) :: Assertion -> Assertion -> Bool # (>=) :: Assertion -> Assertion -> Bool # max :: Assertion -> Assertion -> Assertion # min :: Assertion -> Assertion -> Assertion #
Read Assertion Source #
Methods readsPrec :: Int -> ReadS Assertion # readList :: ReadS [Assertion] # readPrec :: ReadPrec Assertion # readListPrec :: ReadPrec [Assertion] #
Show Assertion Source #
Methods showsPrec :: Int -> Assertion -> ShowS # show :: Assertion -> String # showList :: [Assertion] -> ShowS #
Generic Assertion Source #
Associated Types type Rep Assertion :: * -> * # Methods from :: Assertion -> Rep Assertion x # to :: Rep Assertion x -> Assertion #
Spannable Assertion Source #
Methods getSpan :: Assertion -> Span Source #
Print Assertion Source #
Methods prt :: Int -> Assertion -> Doc Source # prtList :: Int -> [Assertion] -> Doc Source #
type Rep Assertion Source #
type Rep Assertion = D1 (MetaData "Assertion" "Language.Clafer.Front.AbsClafer" "clafer-0.4.4-XeevqZMpf33nmyUG80V8x" False) (C1 (MetaCons "Assertion" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Exp]))))

data Goal Source #

Constructors

GoalMinDeprecated Span [Exp]
GoalMaxDeprecated Span [Exp]
GoalMinimize Span [Exp]
GoalMaximize Span [Exp]

Instances

Eq Goal Source #
Methods (==) :: Goal -> Goal -> Bool # (/=) :: Goal -> Goal -> Bool #
Data Goal Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Goal -> c Goal # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Goal # toConstr :: Goal -> Constr # dataTypeOf :: Goal -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Goal) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Goal) # gmapT :: (forall b. Data b => b -> b) -> Goal -> Goal # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Goal -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Goal -> r # gmapQ :: (forall d. Data d => d -> u) -> Goal -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Goal -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Goal -> m Goal # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Goal -> m Goal # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Goal -> m Goal #
Ord Goal Source #
Methods compare :: Goal -> Goal -> Ordering # (<) :: Goal -> Goal -> Bool # (<=) :: Goal -> Goal -> Bool # (>) :: Goal -> Goal -> Bool # (>=) :: Goal -> Goal -> Bool # max :: Goal -> Goal -> Goal # min :: Goal -> Goal -> Goal #
Read Goal Source #
Methods readsPrec :: Int -> ReadS Goal # readList :: ReadS [Goal] # readPrec :: ReadPrec Goal # readListPrec :: ReadPrec [Goal] #
Show Goal Source #
Methods showsPrec :: Int -> Goal -> ShowS # show :: Goal -> String # showList :: [Goal] -> ShowS #
Generic Goal Source #
Associated Types type Rep Goal :: * -> * # Methods from :: Goal -> Rep Goal x # to :: Rep Goal x -> Goal #
Spannable Goal Source #
Methods getSpan :: Goal -> Span Source #
Print Goal Source #
Methods prt :: Int -> Goal -> Doc Source # prtList :: Int -> [Goal] -> Doc Source #
type Rep Goal Source #
type Rep Goal = D1 (MetaData "Goal" "Language.Clafer.Front.AbsClafer" "clafer-0.4.4-XeevqZMpf33nmyUG80V8x" False) ((:+:) ((:+:) (C1 (MetaCons "GoalMinDeprecated" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Exp])))) (C1 (MetaCons "GoalMaxDeprecated" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Exp]))))) ((:+:) (C1 (MetaCons "GoalMinimize" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Exp])))) (C1 (MetaCons "GoalMaximize" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Exp]))))))

data Abstract Source #

Constructors

AbstractEmpty Span
Abstract Span

Instances

Eq Abstract Source #
Methods (==) :: Abstract -> Abstract -> Bool # (/=) :: Abstract -> Abstract -> Bool #
Data Abstract Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Abstract -> c Abstract # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Abstract # toConstr :: Abstract -> Constr # dataTypeOf :: Abstract -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Abstract) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Abstract) # gmapT :: (forall b. Data b => b -> b) -> Abstract -> Abstract # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Abstract -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Abstract -> r # gmapQ :: (forall d. Data d => d -> u) -> Abstract -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Abstract -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Abstract -> m Abstract # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Abstract -> m Abstract # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Abstract -> m Abstract #
Ord Abstract Source #
Methods compare :: Abstract -> Abstract -> Ordering # (<) :: Abstract -> Abstract -> Bool # (<=) :: Abstract -> Abstract -> Bool # (>) :: Abstract -> Abstract -> Bool # (>=) :: Abstract -> Abstract -> Bool # max :: Abstract -> Abstract -> Abstract # min :: Abstract -> Abstract -> Abstract #
Read Abstract Source #
Methods readsPrec :: Int -> ReadS Abstract # readList :: ReadS [Abstract] # readPrec :: ReadPrec Abstract # readListPrec :: ReadPrec [Abstract] #
Show Abstract Source #
Methods showsPrec :: Int -> Abstract -> ShowS # show :: Abstract -> String # showList :: [Abstract] -> ShowS #
Generic Abstract Source #
Associated Types type Rep Abstract :: * -> * # Methods from :: Abstract -> Rep Abstract x # to :: Rep Abstract x -> Abstract #
Spannable Abstract Source #
Methods getSpan :: Abstract -> Span Source #
Print Abstract Source #
Methods prt :: Int -> Abstract -> Doc Source # prtList :: Int -> [Abstract] -> Doc Source #
type Rep Abstract Source #
type Rep Abstract = D1 (MetaData "Abstract" "Language.Clafer.Front.AbsClafer" "clafer-0.4.4-XeevqZMpf33nmyUG80V8x" False) ((:+:) (C1 (MetaCons "AbstractEmpty" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span))) (C1 (MetaCons "Abstract" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span))))

data Elements Source #

Constructors

ElementsEmpty Span
ElementsList Span [Element]

Instances

Eq Elements Source #
Methods (==) :: Elements -> Elements -> Bool # (/=) :: Elements -> Elements -> Bool #
Data Elements Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Elements -> c Elements # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Elements # toConstr :: Elements -> Constr # dataTypeOf :: Elements -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Elements) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Elements) # gmapT :: (forall b. Data b => b -> b) -> Elements -> Elements # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Elements -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Elements -> r # gmapQ :: (forall d. Data d => d -> u) -> Elements -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Elements -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Elements -> m Elements # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Elements -> m Elements # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Elements -> m Elements #
Ord Elements Source #
Methods compare :: Elements -> Elements -> Ordering # (<) :: Elements -> Elements -> Bool # (<=) :: Elements -> Elements -> Bool # (>) :: Elements -> Elements -> Bool # (>=) :: Elements -> Elements -> Bool # max :: Elements -> Elements -> Elements # min :: Elements -> Elements -> Elements #
Read Elements Source #
Methods readsPrec :: Int -> ReadS Elements # readList :: ReadS [Elements] # readPrec :: ReadPrec Elements # readListPrec :: ReadPrec [Elements] #
Show Elements Source #
Methods showsPrec :: Int -> Elements -> ShowS # show :: Elements -> String # showList :: [Elements] -> ShowS #
Generic Elements Source #
Associated Types type Rep Elements :: * -> * # Methods from :: Elements -> Rep Elements x # to :: Rep Elements x -> Elements #
Spannable Elements Source #
Methods getSpan :: Elements -> Span Source #
Print Elements Source #
Methods prt :: Int -> Elements -> Doc Source # prtList :: Int -> [Elements] -> Doc Source #
type Rep Elements Source #
type Rep Elements = D1 (MetaData "Elements" "Language.Clafer.Front.AbsClafer" "clafer-0.4.4-XeevqZMpf33nmyUG80V8x" False) ((:+:) (C1 (MetaCons "ElementsEmpty" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span))) (C1 (MetaCons "ElementsList" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Element])))))

data Element Source #

Constructors

Subclafer Span Clafer
ClaferUse Span Name Card Elements
Subconstraint Span Constraint
Subgoal Span Goal
SubAssertion Span Assertion

Instances

Eq Element Source #
Methods (==) :: Element -> Element -> Bool # (/=) :: Element -> Element -> Bool #
Data Element Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Element -> c Element # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Element # toConstr :: Element -> Constr # dataTypeOf :: Element -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Element) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Element) # gmapT :: (forall b. Data b => b -> b) -> Element -> Element # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Element -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Element -> r # gmapQ :: (forall d. Data d => d -> u) -> Element -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Element -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Element -> m Element # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Element -> m Element # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Element -> m Element #
Ord Element Source #
Methods compare :: Element -> Element -> Ordering # (<) :: Element -> Element -> Bool # (<=) :: Element -> Element -> Bool # (>) :: Element -> Element -> Bool # (>=) :: Element -> Element -> Bool # max :: Element -> Element -> Element # min :: Element -> Element -> Element #
Read Element Source #
Methods readsPrec :: Int -> ReadS Element # readList :: ReadS [Element] # readPrec :: ReadPrec Element # readListPrec :: ReadPrec [Element] #
Show Element Source #
Methods showsPrec :: Int -> Element -> ShowS # show :: Element -> String # showList :: [Element] -> ShowS #
Generic Element Source #
Associated Types type Rep Element :: * -> * # Methods from :: Element -> Rep Element x # to :: Rep Element x -> Element #
Spannable Element Source #
Methods getSpan :: Element -> Span Source #
Print Element Source #
Methods prt :: Int -> Element -> Doc Source # prtList :: Int -> [Element] -> Doc Source #
type Rep Element Source #
type Rep Element = D1 (MetaData "Element" "Language.Clafer.Front.AbsClafer" "clafer-0.4.4-XeevqZMpf33nmyUG80V8x" False) ((:+:) ((:+:) (C1 (MetaCons "Subclafer" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Clafer)))) (C1 (MetaCons "ClaferUse" PrefixI False) ((::) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Name))) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Card)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Elements)))))) ((:+:) (C1 (MetaCons "Subconstraint" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Constraint)))) ((:+:) (C1 (MetaCons "Subgoal" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Goal)))) (C1 (MetaCons "SubAssertion" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Assertion)))))))

data Super Source #

Constructors

SuperEmpty Span
SuperSome Span Exp

Instances

Eq Super Source #
Methods (==) :: Super -> Super -> Bool # (/=) :: Super -> Super -> Bool #
Data Super Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Super -> c Super # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Super # toConstr :: Super -> Constr # dataTypeOf :: Super -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Super) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Super) # gmapT :: (forall b. Data b => b -> b) -> Super -> Super # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Super -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Super -> r # gmapQ :: (forall d. Data d => d -> u) -> Super -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Super -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Super -> m Super # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Super -> m Super # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Super -> m Super #
Ord Super Source #
Methods compare :: Super -> Super -> Ordering # (<) :: Super -> Super -> Bool # (<=) :: Super -> Super -> Bool # (>) :: Super -> Super -> Bool # (>=) :: Super -> Super -> Bool # max :: Super -> Super -> Super # min :: Super -> Super -> Super #
Read Super Source #
Methods readsPrec :: Int -> ReadS Super # readList :: ReadS [Super] # readPrec :: ReadPrec Super # readListPrec :: ReadPrec [Super] #
Show Super Source #
Methods showsPrec :: Int -> Super -> ShowS # show :: Super -> String # showList :: [Super] -> ShowS #
Generic Super Source #
Associated Types type Rep Super :: * -> * # Methods from :: Super -> Rep Super x # to :: Rep Super x -> Super #
Spannable Super Source #
Methods getSpan :: Super -> Span Source #
Print Super Source #
Methods prt :: Int -> Super -> Doc Source # prtList :: Int -> [Super] -> Doc Source #
type Rep Super Source #
type Rep Super = D1 (MetaData "Super" "Language.Clafer.Front.AbsClafer" "clafer-0.4.4-XeevqZMpf33nmyUG80V8x" False) ((:+:) (C1 (MetaCons "SuperEmpty" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span))) (C1 (MetaCons "SuperSome" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp)))))

data Reference Source #

Constructors

ReferenceEmpty Span
ReferenceSet Span Exp
ReferenceBag Span Exp

Instances

Eq Reference Source #
Methods (==) :: Reference -> Reference -> Bool # (/=) :: Reference -> Reference -> Bool #
Data Reference Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Reference -> c Reference # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Reference # toConstr :: Reference -> Constr # dataTypeOf :: Reference -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Reference) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Reference) # gmapT :: (forall b. Data b => b -> b) -> Reference -> Reference # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Reference -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Reference -> r # gmapQ :: (forall d. Data d => d -> u) -> Reference -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Reference -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Reference -> m Reference # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Reference -> m Reference # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Reference -> m Reference #
Ord Reference Source #
Methods compare :: Reference -> Reference -> Ordering # (<) :: Reference -> Reference -> Bool # (<=) :: Reference -> Reference -> Bool # (>) :: Reference -> Reference -> Bool # (>=) :: Reference -> Reference -> Bool # max :: Reference -> Reference -> Reference # min :: Reference -> Reference -> Reference #
Read Reference Source #
Methods readsPrec :: Int -> ReadS Reference # readList :: ReadS [Reference] # readPrec :: ReadPrec Reference # readListPrec :: ReadPrec [Reference] #
Show Reference Source #
Methods showsPrec :: Int -> Reference -> ShowS # show :: Reference -> String # showList :: [Reference] -> ShowS #
Generic Reference Source #
Associated Types type Rep Reference :: * -> * # Methods from :: Reference -> Rep Reference x # to :: Rep Reference x -> Reference #
Spannable Reference Source #
Methods getSpan :: Reference -> Span Source #
Print Reference Source #
Methods prt :: Int -> Reference -> Doc Source # prtList :: Int -> [Reference] -> Doc Source #
type Rep Reference Source #
type Rep Reference = D1 (MetaData "Reference" "Language.Clafer.Front.AbsClafer" "clafer-0.4.4-XeevqZMpf33nmyUG80V8x" False) ((:+:) (C1 (MetaCons "ReferenceEmpty" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span))) ((:+:) (C1 (MetaCons "ReferenceSet" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp)))) (C1 (MetaCons "ReferenceBag" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp))))))

data Init Source #

Constructors

InitEmpty Span
InitSome Span InitHow Exp

Instances

Eq Init Source #
Methods (==) :: Init -> Init -> Bool # (/=) :: Init -> Init -> Bool #
Data Init Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Init -> c Init # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Init # toConstr :: Init -> Constr # dataTypeOf :: Init -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Init) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Init) # gmapT :: (forall b. Data b => b -> b) -> Init -> Init # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Init -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Init -> r # gmapQ :: (forall d. Data d => d -> u) -> Init -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Init -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Init -> m Init # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Init -> m Init # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Init -> m Init #
Ord Init Source #
Methods compare :: Init -> Init -> Ordering # (<) :: Init -> Init -> Bool # (<=) :: Init -> Init -> Bool # (>) :: Init -> Init -> Bool # (>=) :: Init -> Init -> Bool # max :: Init -> Init -> Init # min :: Init -> Init -> Init #
Read Init Source #
Methods readsPrec :: Int -> ReadS Init # readList :: ReadS [Init] # readPrec :: ReadPrec Init # readListPrec :: ReadPrec [Init] #
Show Init Source #
Methods showsPrec :: Int -> Init -> ShowS # show :: Init -> String # showList :: [Init] -> ShowS #
Generic Init Source #
Associated Types type Rep Init :: * -> * # Methods from :: Init -> Rep Init x # to :: Rep Init x -> Init #
Spannable Init Source #
Methods getSpan :: Init -> Span Source #
Print Init Source #
Methods prt :: Int -> Init -> Doc Source # prtList :: Int -> [Init] -> Doc Source #
type Rep Init Source #
type Rep Init = D1 (MetaData "Init" "Language.Clafer.Front.AbsClafer" "clafer-0.4.4-XeevqZMpf33nmyUG80V8x" False) ((:+:) (C1 (MetaCons "InitEmpty" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span))) (C1 (MetaCons "InitSome" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 InitHow)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp))))))

data InitHow Source #

Constructors

InitConstant Span
InitDefault Span

Instances

Eq InitHow Source #
Methods (==) :: InitHow -> InitHow -> Bool # (/=) :: InitHow -> InitHow -> Bool #
Data InitHow Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> InitHow -> c InitHow # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c InitHow # toConstr :: InitHow -> Constr # dataTypeOf :: InitHow -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c InitHow) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c InitHow) # gmapT :: (forall b. Data b => b -> b) -> InitHow -> InitHow # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> InitHow -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> InitHow -> r # gmapQ :: (forall d. Data d => d -> u) -> InitHow -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> InitHow -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> InitHow -> m InitHow # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> InitHow -> m InitHow # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> InitHow -> m InitHow #
Ord InitHow Source #
Methods compare :: InitHow -> InitHow -> Ordering # (<) :: InitHow -> InitHow -> Bool # (<=) :: InitHow -> InitHow -> Bool # (>) :: InitHow -> InitHow -> Bool # (>=) :: InitHow -> InitHow -> Bool # max :: InitHow -> InitHow -> InitHow # min :: InitHow -> InitHow -> InitHow #
Read InitHow Source #
Methods readsPrec :: Int -> ReadS InitHow # readList :: ReadS [InitHow] # readPrec :: ReadPrec InitHow # readListPrec :: ReadPrec [InitHow] #
Show InitHow Source #
Methods showsPrec :: Int -> InitHow -> ShowS # show :: InitHow -> String # showList :: [InitHow] -> ShowS #
Generic InitHow Source #
Associated Types type Rep InitHow :: * -> * # Methods from :: InitHow -> Rep InitHow x # to :: Rep InitHow x -> InitHow #
Spannable InitHow Source #
Methods getSpan :: InitHow -> Span Source #
Print InitHow Source #
Methods prt :: Int -> InitHow -> Doc Source # prtList :: Int -> [InitHow] -> Doc Source #
type Rep InitHow Source #
type Rep InitHow = D1 (MetaData "InitHow" "Language.Clafer.Front.AbsClafer" "clafer-0.4.4-XeevqZMpf33nmyUG80V8x" False) ((:+:) (C1 (MetaCons "InitConstant" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span))) (C1 (MetaCons "InitDefault" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span))))

data GCard Source #

Constructors

GCardEmpty Span
GCardXor Span
GCardOr Span
GCardMux Span
GCardOpt Span
GCardInterval Span NCard

Instances

Eq GCard Source #
Methods (==) :: GCard -> GCard -> Bool # (/=) :: GCard -> GCard -> Bool #
Data GCard Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> GCard -> c GCard # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c GCard # toConstr :: GCard -> Constr # dataTypeOf :: GCard -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c GCard) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c GCard) # gmapT :: (forall b. Data b => b -> b) -> GCard -> GCard # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> GCard -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> GCard -> r # gmapQ :: (forall d. Data d => d -> u) -> GCard -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> GCard -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> GCard -> m GCard # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> GCard -> m GCard # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> GCard -> m GCard #
Ord GCard Source #
Methods compare :: GCard -> GCard -> Ordering # (<) :: GCard -> GCard -> Bool # (<=) :: GCard -> GCard -> Bool # (>) :: GCard -> GCard -> Bool # (>=) :: GCard -> GCard -> Bool # max :: GCard -> GCard -> GCard # min :: GCard -> GCard -> GCard #
Read GCard Source #
Methods readsPrec :: Int -> ReadS GCard # readList :: ReadS [GCard] # readPrec :: ReadPrec GCard # readListPrec :: ReadPrec [GCard] #
Show GCard Source #
Methods showsPrec :: Int -> GCard -> ShowS # show :: GCard -> String # showList :: [GCard] -> ShowS #
Generic GCard Source #
Associated Types type Rep GCard :: * -> * # Methods from :: GCard -> Rep GCard x # to :: Rep GCard x -> GCard #
Spannable GCard Source #
Methods getSpan :: GCard -> Span Source #
Print GCard Source #
Methods prt :: Int -> GCard -> Doc Source # prtList :: Int -> [GCard] -> Doc Source #
type Rep GCard Source #
type Rep GCard = D1 (MetaData "GCard" "Language.Clafer.Front.AbsClafer" "clafer-0.4.4-XeevqZMpf33nmyUG80V8x" False) ((:+:) ((:+:) (C1 (MetaCons "GCardEmpty" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span))) ((:+:) (C1 (MetaCons "GCardXor" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span))) (C1 (MetaCons "GCardOr" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span))))) ((:+:) (C1 (MetaCons "GCardMux" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span))) ((:+:) (C1 (MetaCons "GCardOpt" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span))) (C1 (MetaCons "GCardInterval" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 NCard)))))))

data Card Source #

Constructors

CardEmpty Span
CardLone Span
CardSome Span
CardAny Span
CardNum Span PosInteger
CardInterval Span NCard

Instances

Eq Card Source #
Methods (==) :: Card -> Card -> Bool # (/=) :: Card -> Card -> Bool #
Data Card Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Card -> c Card # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Card # toConstr :: Card -> Constr # dataTypeOf :: Card -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Card) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Card) # gmapT :: (forall b. Data b => b -> b) -> Card -> Card # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Card -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Card -> r # gmapQ :: (forall d. Data d => d -> u) -> Card -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Card -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Card -> m Card # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Card -> m Card # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Card -> m Card #
Ord Card Source #
Methods compare :: Card -> Card -> Ordering # (<) :: Card -> Card -> Bool # (<=) :: Card -> Card -> Bool # (>) :: Card -> Card -> Bool # (>=) :: Card -> Card -> Bool # max :: Card -> Card -> Card # min :: Card -> Card -> Card #
Read Card Source #
Methods readsPrec :: Int -> ReadS Card # readList :: ReadS [Card] # readPrec :: ReadPrec Card # readListPrec :: ReadPrec [Card] #
Show Card Source #
Methods showsPrec :: Int -> Card -> ShowS # show :: Card -> String # showList :: [Card] -> ShowS #
Generic Card Source #
Associated Types type Rep Card :: * -> * # Methods from :: Card -> Rep Card x # to :: Rep Card x -> Card #
Spannable Card Source #
Methods getSpan :: Card -> Span Source #
Print Card Source #
Methods prt :: Int -> Card -> Doc Source # prtList :: Int -> [Card] -> Doc Source #
type Rep Card Source #
type Rep Card = D1 (MetaData "Card" "Language.Clafer.Front.AbsClafer" "clafer-0.4.4-XeevqZMpf33nmyUG80V8x" False) ((:+:) ((:+:) (C1 (MetaCons "CardEmpty" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span))) ((:+:) (C1 (MetaCons "CardLone" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span))) (C1 (MetaCons "CardSome" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span))))) ((:+:) (C1 (MetaCons "CardAny" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span))) ((:+:) (C1 (MetaCons "CardNum" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PosInteger)))) (C1 (MetaCons "CardInterval" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 NCard)))))))

data NCard Source #

Constructors

NCard Span PosInteger ExInteger

Instances

Eq NCard Source #
Methods (==) :: NCard -> NCard -> Bool # (/=) :: NCard -> NCard -> Bool #
Data NCard Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> NCard -> c NCard # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c NCard # toConstr :: NCard -> Constr # dataTypeOf :: NCard -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c NCard) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c NCard) # gmapT :: (forall b. Data b => b -> b) -> NCard -> NCard # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> NCard -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> NCard -> r # gmapQ :: (forall d. Data d => d -> u) -> NCard -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> NCard -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> NCard -> m NCard # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> NCard -> m NCard # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> NCard -> m NCard #
Ord NCard Source #
Methods compare :: NCard -> NCard -> Ordering # (<) :: NCard -> NCard -> Bool # (<=) :: NCard -> NCard -> Bool # (>) :: NCard -> NCard -> Bool # (>=) :: NCard -> NCard -> Bool # max :: NCard -> NCard -> NCard # min :: NCard -> NCard -> NCard #
Read NCard Source #
Methods readsPrec :: Int -> ReadS NCard # readList :: ReadS [NCard] # readPrec :: ReadPrec NCard # readListPrec :: ReadPrec [NCard] #
Show NCard Source #
Methods showsPrec :: Int -> NCard -> ShowS # show :: NCard -> String # showList :: [NCard] -> ShowS #
Generic NCard Source #
Associated Types type Rep NCard :: * -> * # Methods from :: NCard -> Rep NCard x # to :: Rep NCard x -> NCard #
Spannable NCard Source #
Methods getSpan :: NCard -> Span Source #
Print NCard Source #
Methods prt :: Int -> NCard -> Doc Source # prtList :: Int -> [NCard] -> Doc Source #
type Rep NCard Source #
type Rep NCard = D1 (MetaData "NCard" "Language.Clafer.Front.AbsClafer" "clafer-0.4.4-XeevqZMpf33nmyUG80V8x" False) (C1 (MetaCons "NCard" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PosInteger)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ExInteger)))))

data ExInteger Source #

Constructors

ExIntegerAst Span
ExIntegerNum Span PosInteger

Instances

Eq ExInteger Source #
Methods (==) :: ExInteger -> ExInteger -> Bool # (/=) :: ExInteger -> ExInteger -> Bool #
Data ExInteger Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ExInteger -> c ExInteger # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ExInteger # toConstr :: ExInteger -> Constr # dataTypeOf :: ExInteger -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c ExInteger) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ExInteger) # gmapT :: (forall b. Data b => b -> b) -> ExInteger -> ExInteger # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ExInteger -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ExInteger -> r # gmapQ :: (forall d. Data d => d -> u) -> ExInteger -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ExInteger -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ExInteger -> m ExInteger # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ExInteger -> m ExInteger # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ExInteger -> m ExInteger #
Ord ExInteger Source #
Methods compare :: ExInteger -> ExInteger -> Ordering # (<) :: ExInteger -> ExInteger -> Bool # (<=) :: ExInteger -> ExInteger -> Bool # (>) :: ExInteger -> ExInteger -> Bool # (>=) :: ExInteger -> ExInteger -> Bool # max :: ExInteger -> ExInteger -> ExInteger # min :: ExInteger -> ExInteger -> ExInteger #
Read ExInteger Source #
Methods readsPrec :: Int -> ReadS ExInteger # readList :: ReadS [ExInteger] # readPrec :: ReadPrec ExInteger # readListPrec :: ReadPrec [ExInteger] #
Show ExInteger Source #
Methods showsPrec :: Int -> ExInteger -> ShowS # show :: ExInteger -> String # showList :: [ExInteger] -> ShowS #
Generic ExInteger Source #
Associated Types type Rep ExInteger :: * -> * # Methods from :: ExInteger -> Rep ExInteger x # to :: Rep ExInteger x -> ExInteger #
Spannable ExInteger Source #
Methods getSpan :: ExInteger -> Span Source #
Print ExInteger Source #
Methods prt :: Int -> ExInteger -> Doc Source # prtList :: Int -> [ExInteger] -> Doc Source #
type Rep ExInteger Source #
type Rep ExInteger = D1 (MetaData "ExInteger" "Language.Clafer.Front.AbsClafer" "clafer-0.4.4-XeevqZMpf33nmyUG80V8x" False) ((:+:) (C1 (MetaCons "ExIntegerAst" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span))) (C1 (MetaCons "ExIntegerNum" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PosInteger)))))

data Name Source #

Constructors

Path Span [ModId]

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 #
Spannable Name Source #
Methods getSpan :: Name -> Span Source #
Print Name Source #
Methods prt :: Int -> Name -> Doc Source # prtList :: Int -> [Name] -> Doc Source #
type Rep Name Source #
type Rep Name = D1 (MetaData "Name" "Language.Clafer.Front.AbsClafer" "clafer-0.4.4-XeevqZMpf33nmyUG80V8x" False) (C1 (MetaCons "Path" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [ModId]))))

data Exp Source #

Constructors

EDeclAllDisj Span Decl Exp
EDeclAll Span Decl Exp
EDeclQuantDisj Span Quant Decl Exp
EDeclQuant Span Quant Decl Exp
EImpliesElse Span Exp Exp Exp
EIff Span Exp Exp
EImplies Span Exp Exp
EOr Span Exp Exp
EXor Span Exp Exp
EAnd Span Exp Exp
ENeg Span Exp
ELt Span Exp Exp
EGt Span Exp Exp
EEq Span Exp Exp
ELte Span Exp Exp
EGte Span Exp Exp
ENeq Span Exp Exp
EIn Span Exp Exp
ENin Span Exp Exp
EQuantExp Span Quant Exp
EAdd Span Exp Exp
ESub Span Exp Exp
EMul Span Exp Exp
EDiv Span Exp Exp
ERem Span Exp Exp
EGMax Span Exp
EGMin Span Exp
ESum Span Exp
EProd Span Exp
ECard Span Exp
EMinExp Span Exp
EDomain Span Exp Exp
ERange Span Exp Exp
EUnion Span Exp Exp
EUnionCom Span Exp Exp
EDifference Span Exp Exp
EIntersection Span Exp Exp
EIntersectionDeprecated Span Exp Exp
EJoin Span Exp Exp
ClaferId Span Name
EInt Span PosInteger
EDouble Span PosDouble
EReal Span PosReal
EStr Span PosString

Instances

Eq Exp Source #
Methods (==) :: Exp -> Exp -> Bool # (/=) :: Exp -> Exp -> Bool #
Data Exp Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Exp -> c Exp # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Exp # toConstr :: Exp -> Constr # dataTypeOf :: Exp -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Exp) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Exp) # gmapT :: (forall b. Data b => b -> b) -> Exp -> Exp # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Exp -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Exp -> r # gmapQ :: (forall d. Data d => d -> u) -> Exp -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Exp -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Exp -> m Exp # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Exp -> m Exp # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Exp -> m Exp #
Ord Exp Source #
Methods compare :: Exp -> Exp -> Ordering # (<) :: Exp -> Exp -> Bool # (<=) :: Exp -> Exp -> Bool # (>) :: Exp -> Exp -> Bool # (>=) :: Exp -> Exp -> Bool # max :: Exp -> Exp -> Exp # min :: Exp -> Exp -> Exp #
Read Exp Source #
Methods readsPrec :: Int -> ReadS Exp # readList :: ReadS [Exp] # readPrec :: ReadPrec Exp # readListPrec :: ReadPrec [Exp] #
Show Exp Source #
Methods showsPrec :: Int -> Exp -> ShowS # show :: Exp -> String # showList :: [Exp] -> ShowS #
Generic Exp Source #
Associated Types type Rep Exp :: * -> * # Methods from :: Exp -> Rep Exp x # to :: Rep Exp x -> Exp #
Spannable Exp Source #
Methods getSpan :: Exp -> Span Source #
Print Exp Source #
Methods prt :: Int -> Exp -> Doc Source # prtList :: Int -> [Exp] -> Doc Source #
type Rep Exp Source #
type Rep Exp = D1 (MetaData "Exp" "Language.Clafer.Front.AbsClafer" "clafer-0.4.4-XeevqZMpf33nmyUG80V8x" False) ((:+:) ((:+:) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "EDeclAllDisj" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Decl)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp))))) (C1 (MetaCons "EDeclAll" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Decl)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp)))))) ((:+:) (C1 (MetaCons "EDeclQuantDisj" PrefixI False) ((::) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Quant))) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Decl)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp))))) ((:+:) (C1 (MetaCons "EDeclQuant" PrefixI False) ((::) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Quant))) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Decl)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp))))) (C1 (MetaCons "EImpliesElse" PrefixI False) ((::) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp))) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp)))))))) ((:+:) ((:+:) (C1 (MetaCons "EIff" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp))))) ((:+:) (C1 (MetaCons "EImplies" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp))))) (C1 (MetaCons "EOr" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp))))))) ((:+:) (C1 (MetaCons "EXor" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp))))) ((:+:) (C1 (MetaCons "EAnd" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp))))) (C1 (MetaCons "ENeg" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp)))))))) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "ELt" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp))))) (C1 (MetaCons "EGt" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp)))))) ((:+:) (C1 (MetaCons "EEq" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp))))) ((:+:) (C1 (MetaCons "ELte" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp))))) (C1 (MetaCons "EGte" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp)))))))) ((:+:) ((:+:) (C1 (MetaCons "ENeq" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp))))) ((:+:) (C1 (MetaCons "EIn" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp))))) (C1 (MetaCons "ENin" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp))))))) ((:+:) (C1 (MetaCons "EQuantExp" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Quant)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp))))) ((:+:) (C1 (MetaCons "EAdd" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp))))) (C1 (MetaCons "ESub" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp)))))))))) ((:+:) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "EMul" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp))))) (C1 (MetaCons "EDiv" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp)))))) ((:+:) (C1 (MetaCons "ERem" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp))))) ((:+:) (C1 (MetaCons "EGMax" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp)))) (C1 (MetaCons "EGMin" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp))))))) ((:+:) ((:+:) (C1 (MetaCons "ESum" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp)))) ((:+:) (C1 (MetaCons "EProd" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp)))) (C1 (MetaCons "ECard" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp)))))) ((:+:) (C1 (MetaCons "EMinExp" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp)))) ((:+:) (C1 (MetaCons "EDomain" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp))))) (C1 (MetaCons "ERange" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp))))))))) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "EUnion" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp))))) (C1 (MetaCons "EUnionCom" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp)))))) ((:+:) (C1 (MetaCons "EDifference" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp))))) ((:+:) (C1 (MetaCons "EIntersection" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp))))) (C1 (MetaCons "EIntersectionDeprecated" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp)))))))) ((:+:) ((:+:) (C1 (MetaCons "EJoin" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp))))) ((:+:) (C1 (MetaCons "ClaferId" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Name)))) (C1 (MetaCons "EInt" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PosInteger)))))) ((:+:) (C1 (MetaCons "EDouble" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PosDouble)))) ((:+:) (C1 (MetaCons "EReal" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PosReal)))) (C1 (MetaCons "EStr" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PosString))))))))))

data Decl Source #

Constructors

Decl Span [LocId] Exp

Instances

Eq Decl Source #
Methods (==) :: Decl -> Decl -> Bool # (/=) :: Decl -> Decl -> Bool #
Data Decl Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Decl -> c Decl # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Decl # toConstr :: Decl -> Constr # dataTypeOf :: Decl -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Decl) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Decl) # gmapT :: (forall b. Data b => b -> b) -> Decl -> Decl # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Decl -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Decl -> r # gmapQ :: (forall d. Data d => d -> u) -> Decl -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Decl -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Decl -> m Decl # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Decl -> m Decl # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Decl -> m Decl #
Ord Decl Source #
Methods compare :: Decl -> Decl -> Ordering # (<) :: Decl -> Decl -> Bool # (<=) :: Decl -> Decl -> Bool # (>) :: Decl -> Decl -> Bool # (>=) :: Decl -> Decl -> Bool # max :: Decl -> Decl -> Decl # min :: Decl -> Decl -> Decl #
Read Decl Source #
Methods readsPrec :: Int -> ReadS Decl # readList :: ReadS [Decl] # readPrec :: ReadPrec Decl # readListPrec :: ReadPrec [Decl] #
Show Decl Source #
Methods showsPrec :: Int -> Decl -> ShowS # show :: Decl -> String # showList :: [Decl] -> ShowS #
Generic Decl Source #
Associated Types type Rep Decl :: * -> * # Methods from :: Decl -> Rep Decl x # to :: Rep Decl x -> Decl #
Spannable Decl Source #
Methods getSpan :: Decl -> Span Source #
Print Decl Source #
Methods prt :: Int -> Decl -> Doc Source # prtList :: Int -> [Decl] -> Doc Source #
type Rep Decl Source #
type Rep Decl = D1 (MetaData "Decl" "Language.Clafer.Front.AbsClafer" "clafer-0.4.4-XeevqZMpf33nmyUG80V8x" False) (C1 (MetaCons "Decl" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [LocId])) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp)))))

data Quant Source #

Constructors

QuantNo Span
QuantNot Span
QuantLone Span
QuantOne Span
QuantSome Span

Instances

Eq Quant Source #
Methods (==) :: Quant -> Quant -> Bool # (/=) :: Quant -> Quant -> Bool #
Data Quant Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Quant -> c Quant # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Quant # toConstr :: Quant -> Constr # dataTypeOf :: Quant -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Quant) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Quant) # gmapT :: (forall b. Data b => b -> b) -> Quant -> Quant # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Quant -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Quant -> r # gmapQ :: (forall d. Data d => d -> u) -> Quant -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Quant -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Quant -> m Quant # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Quant -> m Quant # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Quant -> m Quant #
Ord Quant Source #
Methods compare :: Quant -> Quant -> Ordering # (<) :: Quant -> Quant -> Bool # (<=) :: Quant -> Quant -> Bool # (>) :: Quant -> Quant -> Bool # (>=) :: Quant -> Quant -> Bool # max :: Quant -> Quant -> Quant # min :: Quant -> Quant -> Quant #
Read Quant Source #
Methods readsPrec :: Int -> ReadS Quant # readList :: ReadS [Quant] # readPrec :: ReadPrec Quant # readListPrec :: ReadPrec [Quant] #
Show Quant Source #
Methods showsPrec :: Int -> Quant -> ShowS # show :: Quant -> String # showList :: [Quant] -> ShowS #
Generic Quant Source #
Associated Types type Rep Quant :: * -> * # Methods from :: Quant -> Rep Quant x # to :: Rep Quant x -> Quant #
Spannable Quant Source #
Methods getSpan :: Quant -> Span Source #
Print Quant Source #
Methods prt :: Int -> Quant -> Doc Source # prtList :: Int -> [Quant] -> Doc Source #
type Rep Quant Source #
type Rep Quant = D1 (MetaData "Quant" "Language.Clafer.Front.AbsClafer" "clafer-0.4.4-XeevqZMpf33nmyUG80V8x" False) ((:+:) ((:+:) (C1 (MetaCons "QuantNo" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span))) (C1 (MetaCons "QuantNot" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)))) ((:+:) (C1 (MetaCons "QuantLone" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span))) ((:+:) (C1 (MetaCons "QuantOne" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span))) (C1 (MetaCons "QuantSome" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span))))))

data EnumId Source #

Constructors

EnumIdIdent Span PosIdent

Instances

Eq EnumId Source #
Methods (==) :: EnumId -> EnumId -> Bool # (/=) :: EnumId -> EnumId -> Bool #
Data EnumId Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> EnumId -> c EnumId # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c EnumId # toConstr :: EnumId -> Constr # dataTypeOf :: EnumId -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c EnumId) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c EnumId) # gmapT :: (forall b. Data b => b -> b) -> EnumId -> EnumId # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> EnumId -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> EnumId -> r # gmapQ :: (forall d. Data d => d -> u) -> EnumId -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> EnumId -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> EnumId -> m EnumId # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> EnumId -> m EnumId # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> EnumId -> m EnumId #
Ord EnumId Source #
Methods compare :: EnumId -> EnumId -> Ordering # (<) :: EnumId -> EnumId -> Bool # (<=) :: EnumId -> EnumId -> Bool # (>) :: EnumId -> EnumId -> Bool # (>=) :: EnumId -> EnumId -> Bool # max :: EnumId -> EnumId -> EnumId # min :: EnumId -> EnumId -> EnumId #
Read EnumId Source #
Methods readsPrec :: Int -> ReadS EnumId # readList :: ReadS [EnumId] # readPrec :: ReadPrec EnumId # readListPrec :: ReadPrec [EnumId] #
Show EnumId Source #
Methods showsPrec :: Int -> EnumId -> ShowS # show :: EnumId -> String # showList :: [EnumId] -> ShowS #
Generic EnumId Source #
Associated Types type Rep EnumId :: * -> * # Methods from :: EnumId -> Rep EnumId x # to :: Rep EnumId x -> EnumId #
Spannable EnumId Source #
Methods getSpan :: EnumId -> Span Source #
Print EnumId Source #
Methods prt :: Int -> EnumId -> Doc Source # prtList :: Int -> [EnumId] -> Doc Source #
type Rep EnumId Source #
type Rep EnumId = D1 (MetaData "EnumId" "Language.Clafer.Front.AbsClafer" "clafer-0.4.4-XeevqZMpf33nmyUG80V8x" False) (C1 (MetaCons "EnumIdIdent" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PosIdent))))

data ModId Source #

Constructors

ModIdIdent Span PosIdent

Instances

Eq ModId Source #
Methods (==) :: ModId -> ModId -> Bool # (/=) :: ModId -> ModId -> Bool #
Data ModId Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ModId -> c ModId # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ModId # toConstr :: ModId -> Constr # dataTypeOf :: ModId -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c ModId) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ModId) # gmapT :: (forall b. Data b => b -> b) -> ModId -> ModId # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ModId -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ModId -> r # gmapQ :: (forall d. Data d => d -> u) -> ModId -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ModId -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ModId -> m ModId # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ModId -> m ModId # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ModId -> m ModId #
Ord ModId Source #
Methods compare :: ModId -> ModId -> Ordering # (<) :: ModId -> ModId -> Bool # (<=) :: ModId -> ModId -> Bool # (>) :: ModId -> ModId -> Bool # (>=) :: ModId -> ModId -> Bool # max :: ModId -> ModId -> ModId # min :: ModId -> ModId -> ModId #
Read ModId Source #
Methods readsPrec :: Int -> ReadS ModId # readList :: ReadS [ModId] # readPrec :: ReadPrec ModId # readListPrec :: ReadPrec [ModId] #
Show ModId Source #
Methods showsPrec :: Int -> ModId -> ShowS # show :: ModId -> String # showList :: [ModId] -> ShowS #
Generic ModId Source #
Associated Types type Rep ModId :: * -> * # Methods from :: ModId -> Rep ModId x # to :: Rep ModId x -> ModId #
Spannable ModId Source #
Methods getSpan :: ModId -> Span Source #
Print ModId Source #
Methods prt :: Int -> ModId -> Doc Source # prtList :: Int -> [ModId] -> Doc Source #
type Rep ModId Source #
type Rep ModId = D1 (MetaData "ModId" "Language.Clafer.Front.AbsClafer" "clafer-0.4.4-XeevqZMpf33nmyUG80V8x" False) (C1 (MetaCons "ModIdIdent" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PosIdent))))

data LocId Source #

Constructors

LocIdIdent Span PosIdent

Instances

Eq LocId Source #
Methods (==) :: LocId -> LocId -> Bool # (/=) :: LocId -> LocId -> Bool #
Data LocId Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LocId -> c LocId # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LocId # toConstr :: LocId -> Constr # dataTypeOf :: LocId -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c LocId) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LocId) # gmapT :: (forall b. Data b => b -> b) -> LocId -> LocId # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LocId -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LocId -> r # gmapQ :: (forall d. Data d => d -> u) -> LocId -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> LocId -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> LocId -> m LocId # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LocId -> m LocId # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LocId -> m LocId #
Ord LocId Source #
Methods compare :: LocId -> LocId -> Ordering # (<) :: LocId -> LocId -> Bool # (<=) :: LocId -> LocId -> Bool # (>) :: LocId -> LocId -> Bool # (>=) :: LocId -> LocId -> Bool # max :: LocId -> LocId -> LocId # min :: LocId -> LocId -> LocId #
Read LocId Source #
Methods readsPrec :: Int -> ReadS LocId # readList :: ReadS [LocId] # readPrec :: ReadPrec LocId # readListPrec :: ReadPrec [LocId] #
Show LocId Source #
Methods showsPrec :: Int -> LocId -> ShowS # show :: LocId -> String # showList :: [LocId] -> ShowS #
Generic LocId Source #
Associated Types type Rep LocId :: * -> * # Methods from :: LocId -> Rep LocId x # to :: Rep LocId x -> LocId #
Spannable LocId Source #
Methods getSpan :: LocId -> Span Source #
Print LocId Source #
Methods prt :: Int -> LocId -> Doc Source # prtList :: Int -> [LocId] -> Doc Source #
type Rep LocId Source #
type Rep LocId = D1 (MetaData "LocId" "Language.Clafer.Front.AbsClafer" "clafer-0.4.4-XeevqZMpf33nmyUG80V8x" False) (C1 (MetaCons "LocIdIdent" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Span)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PosIdent))))