symantic-parser-0.2.1.20210803: Parser combinators statically optimized and staged via typed meta-programming
Safe HaskellNone
LanguageHaskell2010

Parsers.Brainfuck.Types

Documentation

data Instruction Source #

Instances

Instances details
Eq Instruction Source # 
Instance details

Defined in Parsers.Brainfuck.Types

Ord Instruction Source # 
Instance details

Defined in Parsers.Brainfuck.Types

Show Instruction Source # 
Instance details

Defined in Parsers.Brainfuck.Types

Generic Instruction Source # 
Instance details

Defined in Parsers.Brainfuck.Types

Associated Types

type Rep Instruction :: Type -> Type #

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])))))