Safe Haskell	None
Language	Haskell2010

Camfort.Specification.DerivedDataType.Parser

Documentation

ddtParser :: SpecParser DDTParseError DDTStatement Source #

data DDTParseError Source #

Instances

Instances details

Eq DDTParseError Source #
Instance details Defined in Camfort.Specification.DerivedDataType.Parser Methods (==) :: DDTParseError -> DDTParseError -> Bool # (/=) :: DDTParseError -> DDTParseError -> Bool #
Show DDTParseError Source #
Instance details Defined in Camfort.Specification.DerivedDataType.Parser Methods showsPrec :: Int -> DDTParseError -> ShowS # show :: DDTParseError -> String # showList :: [DDTParseError] -> ShowS #

data DDTStatement Source #

Constructors

DDTSt
Fields ddtStStarred :: Bool ddtStTypeName :: String ddtStLabels :: [(String, String)] ddtStVarDims :: [(String, Int)]

Instances

Instances details

Eq DDTStatement Source #
Instance details Defined in Camfort.Specification.DerivedDataType.Parser Methods (==) :: DDTStatement -> DDTStatement -> Bool # (/=) :: DDTStatement -> DDTStatement -> Bool #
Data DDTStatement Source #
Instance details Defined in Camfort.Specification.DerivedDataType.Parser Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DDTStatement -> c DDTStatement # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DDTStatement # toConstr :: DDTStatement -> Constr # dataTypeOf :: DDTStatement -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DDTStatement) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DDTStatement) # gmapT :: (forall b. Data b => b -> b) -> DDTStatement -> DDTStatement # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DDTStatement -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DDTStatement -> r # gmapQ :: (forall d. Data d => d -> u) -> DDTStatement -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> DDTStatement -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DDTStatement -> m DDTStatement # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DDTStatement -> m DDTStatement # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DDTStatement -> m DDTStatement #
Show DDTStatement Source #
Instance details Defined in Camfort.Specification.DerivedDataType.Parser Methods showsPrec :: Int -> DDTStatement -> ShowS # show :: DDTStatement -> String # showList :: [DDTStatement] -> ShowS #
Generic DDTStatement Source #
Instance details Defined in Camfort.Specification.DerivedDataType.Parser Associated Types type Rep DDTStatement :: Type -> Type # Methods from :: DDTStatement -> Rep DDTStatement x # to :: Rep DDTStatement x -> DDTStatement #
Binary DDTStatement Source #
Instance details Defined in Camfort.Specification.DerivedDataType.Parser Methods put :: DDTStatement -> Put # get :: Get DDTStatement # putList :: [DDTStatement] -> Put #
NFData DDTStatement Source #
Instance details Defined in Camfort.Specification.DerivedDataType.Parser Methods rnf :: DDTStatement -> () #
type Rep DDTStatement Source #
Instance details Defined in Camfort.Specification.DerivedDataType.Parser type Rep DDTStatement = D1 ('MetaData "DDTStatement" "Camfort.Specification.DerivedDataType.Parser" "camfort-1.1.1-inplace" 'False) (C1 ('MetaCons "DDTSt" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ddtStStarred") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :: S1 ('MetaSel ('Just "ddtStTypeName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :: (S1 ('MetaSel ('Just "ddtStLabels") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(String, String)]) :*: S1 ('MetaSel ('Just "ddtStVarDims") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(String, Int)]))))