Morley.Michelson.ErrorPos

Documentation

mkPos :: Int -> Either Text Pos

newtype Pos

Constructors

Pos

Fields

• unPos :: Word

Instances

FromJSON Pos

Defined in Morley.Michelson.ErrorPos

Methods

parseJSON :: Value -> Parser Pos

parseJSONList :: Value -> Parser [Pos]

ToJSON Pos

Defined in Morley.Michelson.ErrorPos

Methods

toJSON :: Pos -> Value

toEncoding :: Pos -> Encoding

toJSONList :: [Pos] -> Value

toEncodingList :: [Pos] -> Encoding

Data Pos

Defined in Morley.Michelson.ErrorPos

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 :: forall r r'. (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

Generic Pos

Defined in Morley.Michelson.ErrorPos

Associated Types

type Rep Pos :: Type -> Type

Methods

from :: Pos -> Rep Pos x

to :: Rep Pos x -> Pos

Show Pos

Defined in Morley.Michelson.ErrorPos

Methods

showsPrec :: Int -> Pos -> ShowS

show :: Pos -> String

showList :: [Pos] -> ShowS

Default Pos

Defined in Morley.Michelson.ErrorPos

Methods

def :: Pos

NFData Pos

Defined in Morley.Michelson.ErrorPos

Methods

rnf :: Pos -> ()

Eq Pos

Defined in Morley.Michelson.ErrorPos

Methods

(==) :: Pos -> Pos -> Bool

(/=) :: Pos -> Pos -> Bool

Ord Pos

Defined in Morley.Michelson.ErrorPos

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

type Rep Pos

Defined in Morley.Michelson.ErrorPos

type Rep Pos = D1 ('MetaData "Pos" "Morley.Michelson.ErrorPos" "morley-1.20.0-inplace" 'True) (C1 ('MetaCons "Pos" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPos") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word)))

data SrcPos

Constructors

SrcPos

Fields

• srcLine :: Pos
• srcCol :: Pos

Instances

FromJSON SrcPos

Defined in Morley.Michelson.ErrorPos

Methods

parseJSON :: Value -> Parser SrcPos

parseJSONList :: Value -> Parser [SrcPos]

ToJSON SrcPos

Defined in Morley.Michelson.ErrorPos

Methods

toJSON :: SrcPos -> Value

toEncoding :: SrcPos -> Encoding

toJSONList :: [SrcPos] -> Value

toEncodingList :: [SrcPos] -> Encoding

Data SrcPos

Defined in Morley.Michelson.ErrorPos

Methods

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

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

toConstr :: SrcPos -> Constr

dataTypeOf :: SrcPos -> DataType

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

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

gmapT :: (forall b. Data b => b -> b) -> SrcPos -> SrcPos

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

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

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

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

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

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

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

Generic SrcPos

Defined in Morley.Michelson.ErrorPos

Associated Types

type Rep SrcPos :: Type -> Type

Methods

from :: SrcPos -> Rep SrcPos x

to :: Rep SrcPos x -> SrcPos

Show SrcPos

Defined in Morley.Michelson.ErrorPos

Methods

showsPrec :: Int -> SrcPos -> ShowS

show :: SrcPos -> String

showList :: [SrcPos] -> ShowS

Default SrcPos

Defined in Morley.Michelson.ErrorPos

Methods

def :: SrcPos

NFData SrcPos

Defined in Morley.Michelson.ErrorPos

Methods

rnf :: SrcPos -> ()

Eq SrcPos

Defined in Morley.Michelson.ErrorPos

Methods

(==) :: SrcPos -> SrcPos -> Bool

(/=) :: SrcPos -> SrcPos -> Bool

Ord SrcPos

Defined in Morley.Michelson.ErrorPos

Methods

compare :: SrcPos -> SrcPos -> Ordering

(<) :: SrcPos -> SrcPos -> Bool

(<=) :: SrcPos -> SrcPos -> Bool

(>) :: SrcPos -> SrcPos -> Bool

(>=) :: SrcPos -> SrcPos -> Bool

max :: SrcPos -> SrcPos -> SrcPos

min :: SrcPos -> SrcPos -> SrcPos

Buildable SrcPos

Defined in Morley.Michelson.ErrorPos

Methods

build :: SrcPos -> Doc

buildList :: [SrcPos] -> Doc

type Rep SrcPos

Defined in Morley.Michelson.ErrorPos

type Rep SrcPos = D1 ('MetaData "SrcPos" "Morley.Michelson.ErrorPos" "morley-1.20.0-inplace" 'False) (C1 ('MetaCons "SrcPos" 'PrefixI 'True) (S1 ('MetaSel ('Just "srcLine") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Pos) :*: S1 ('MetaSel ('Just "srcCol") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Pos)))

srcPos :: Word -> Word -> SrcPos

newtype ErrorSrcPos

Constructors

ErrorSrcPos

Fields

• unErrorSrcPos :: SrcPos

Instances

FromJSON ErrorSrcPos

Defined in Morley.Michelson.ErrorPos

Methods

parseJSON :: Value -> Parser ErrorSrcPos

parseJSONList :: Value -> Parser [ErrorSrcPos]

ToJSON ErrorSrcPos

Defined in Morley.Michelson.ErrorPos

Methods

toJSON :: ErrorSrcPos -> Value

toEncoding :: ErrorSrcPos -> Encoding

toJSONList :: [ErrorSrcPos] -> Value

toEncodingList :: [ErrorSrcPos] -> Encoding

Data ErrorSrcPos

Defined in Morley.Michelson.ErrorPos

Methods

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

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

toConstr :: ErrorSrcPos -> Constr

dataTypeOf :: ErrorSrcPos -> DataType

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

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

gmapT :: (forall b. Data b => b -> b) -> ErrorSrcPos -> ErrorSrcPos

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

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

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

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

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

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

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

Generic ErrorSrcPos

Defined in Morley.Michelson.ErrorPos

Associated Types

type Rep ErrorSrcPos :: Type -> Type

Methods

from :: ErrorSrcPos -> Rep ErrorSrcPos x

to :: Rep ErrorSrcPos x -> ErrorSrcPos

Show ErrorSrcPos

Defined in Morley.Michelson.ErrorPos

Methods

showsPrec :: Int -> ErrorSrcPos -> ShowS

show :: ErrorSrcPos -> String

showList :: [ErrorSrcPos] -> ShowS

Default ErrorSrcPos

Defined in Morley.Michelson.ErrorPos

Methods

def :: ErrorSrcPos

NFData ErrorSrcPos

Defined in Morley.Michelson.ErrorPos

Methods

rnf :: ErrorSrcPos -> ()

Eq ErrorSrcPos

Defined in Morley.Michelson.ErrorPos

Methods

(==) :: ErrorSrcPos -> ErrorSrcPos -> Bool

(/=) :: ErrorSrcPos -> ErrorSrcPos -> Bool

Ord ErrorSrcPos

Defined in Morley.Michelson.ErrorPos

Methods

compare :: ErrorSrcPos -> ErrorSrcPos -> Ordering

(<) :: ErrorSrcPos -> ErrorSrcPos -> Bool

(<=) :: ErrorSrcPos -> ErrorSrcPos -> Bool

(>) :: ErrorSrcPos -> ErrorSrcPos -> Bool

(>=) :: ErrorSrcPos -> ErrorSrcPos -> Bool

max :: ErrorSrcPos -> ErrorSrcPos -> ErrorSrcPos

min :: ErrorSrcPos -> ErrorSrcPos -> ErrorSrcPos

Buildable ErrorSrcPos

Defined in Morley.Michelson.ErrorPos

Methods

build :: ErrorSrcPos -> Doc

buildList :: [ErrorSrcPos] -> Doc

type Rep ErrorSrcPos

Defined in Morley.Michelson.ErrorPos

type Rep ErrorSrcPos = D1 ('MetaData "ErrorSrcPos" "Morley.Michelson.ErrorPos" "morley-1.20.0-inplace" 'True) (C1 ('MetaCons "ErrorSrcPos" 'PrefixI 'True) (S1 ('MetaSel ('Just "unErrorSrcPos") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SrcPos)))