Safe Haskell	None
Language	Haskell2010

Parsers.Brainfuck.Types

Documentation

data Instruction Source #

Constructors

Forward
Backward
Increment
Decrement
Input
Output
Loop [Instruction]

Instances

Instances details

Eq Instruction Source #
Instance details Defined in Parsers.Brainfuck.Types Methods (==) :: Instruction -> Instruction -> Bool # (/=) :: Instruction -> Instruction -> Bool #
Ord Instruction Source #
Instance details Defined in Parsers.Brainfuck.Types Methods compare :: Instruction -> Instruction -> Ordering # (<) :: Instruction -> Instruction -> Bool # (<=) :: Instruction -> Instruction -> Bool # (>) :: Instruction -> Instruction -> Bool # (>=) :: Instruction -> Instruction -> Bool # max :: Instruction -> Instruction -> Instruction # min :: Instruction -> Instruction -> Instruction #
Show Instruction Source #
Instance details Defined in Parsers.Brainfuck.Types Methods showsPrec :: Int -> Instruction -> ShowS # show :: Instruction -> String # showList :: [Instruction] -> ShowS #
Generic Instruction Source #
Instance details Defined in Parsers.Brainfuck.Types Associated Types type Rep Instruction :: Type -> Type # Methods from :: Instruction -> Rep Instruction x # to :: Rep Instruction x -> Instruction #
NFData Instruction Source #
Instance details Defined in Parsers.Brainfuck.Types Methods rnf :: Instruction -> () #
Lift Instruction Source #
Instance details Defined in Parsers.Brainfuck.Types Methods lift :: Quote m => Instruction -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Instruction -> Code m Instruction #
type Rep Instruction Source #
Instance details Defined in Parsers.Brainfuck.Types type Rep Instruction = D1 ('MetaData "Instruction" "Parsers.Brainfuck.Types" "symantic-parser-0.2.1.20210803-inplace-parsers" 'False) ((C1 ('MetaCons "Forward" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Backward" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Increment" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Decrement" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Input" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Output" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Loop" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Instruction])))))