Safe Haskell	None
Language	Haskell2010

Enumerate.Function.Example

Description

Documentation

main :: IO () Source #

data Edit Source #

Constructors

Edit Action Slice Region

Instances

Eq Edit Source #
Methods (==) :: Edit -> Edit -> Bool # (/=) :: Edit -> Edit -> Bool #
Ord Edit Source #
Methods compare :: Edit -> Edit -> Ordering # (<) :: Edit -> Edit -> Bool # (<=) :: Edit -> Edit -> Bool # (>) :: Edit -> Edit -> Bool # (>=) :: Edit -> Edit -> Bool # max :: Edit -> Edit -> Edit # min :: Edit -> Edit -> Edit #
Read Edit Source #
Methods readsPrec :: Int -> ReadS Edit # readList :: ReadS [Edit] # readPrec :: ReadPrec Edit # readListPrec :: ReadPrec [Edit] #
Show Edit Source #
Methods showsPrec :: Int -> Edit -> ShowS # show :: Edit -> String # showList :: [Edit] -> ShowS #
Generic Edit Source #
Associated Types type Rep Edit :: * -> * # Methods from :: Edit -> Rep Edit x # to :: Rep Edit x -> Edit #
Enumerable Edit Source #
Methods enumerated :: [Edit] # cardinality :: proxy Edit -> Natural #
type Rep Edit Source #
type Rep Edit = D1 (MetaData "Edit" "Enumerate.Function.Example" "enumerate-function-0.0.1-5QoArEgJQi6BcghU01ilk1" False) (C1 (MetaCons "Edit" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Action)) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Slice)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Region)))))

data Action Source #

Constructors

Cut
Delete
Transpose

Instances

Bounded Action Source #
Methods minBound :: Action # maxBound :: Action #
Enum Action Source #
Methods succ :: Action -> Action # pred :: Action -> Action # toEnum :: Int -> Action # fromEnum :: Action -> Int # enumFrom :: Action -> [Action] # enumFromThen :: Action -> Action -> [Action] # enumFromTo :: Action -> Action -> [Action] # enumFromThenTo :: Action -> Action -> Action -> [Action] #
Eq Action Source #
Methods (==) :: Action -> Action -> Bool # (/=) :: Action -> Action -> Bool #
Ord Action Source #
Methods compare :: Action -> Action -> Ordering # (<) :: Action -> Action -> Bool # (<=) :: Action -> Action -> Bool # (>) :: Action -> Action -> Bool # (>=) :: Action -> Action -> Bool # max :: Action -> Action -> Action # min :: Action -> Action -> Action #
Read Action Source #
Methods readsPrec :: Int -> ReadS Action # readList :: ReadS [Action] # readPrec :: ReadPrec Action # readListPrec :: ReadPrec [Action] #
Show Action Source #
Methods showsPrec :: Int -> Action -> ShowS # show :: Action -> String # showList :: [Action] -> ShowS #
Generic Action Source #
Associated Types type Rep Action :: * -> * # Methods from :: Action -> Rep Action x # to :: Rep Action x -> Action #
Enumerable Action Source #
Methods enumerated :: [Action] # cardinality :: proxy Action -> Natural #
type Rep Action Source #
type Rep Action = D1 (MetaData "Action" "Enumerate.Function.Example" "enumerate-function-0.0.1-5QoArEgJQi6BcghU01ilk1" False) ((:+:) (C1 (MetaCons "Cut" PrefixI False) U1) ((:+:) (C1 (MetaCons "Delete" PrefixI False) U1) (C1 (MetaCons "Transpose" PrefixI False) U1)))

data Slice Source #

Constructors

Whole
Backwards
Forwards

Instances

Bounded Slice Source #
Methods minBound :: Slice # maxBound :: Slice #
Enum Slice Source #
Methods succ :: Slice -> Slice # pred :: Slice -> Slice # toEnum :: Int -> Slice # fromEnum :: Slice -> Int # enumFrom :: Slice -> [Slice] # enumFromThen :: Slice -> Slice -> [Slice] # enumFromTo :: Slice -> Slice -> [Slice] # enumFromThenTo :: Slice -> Slice -> Slice -> [Slice] #
Eq Slice Source #
Methods (==) :: Slice -> Slice -> Bool # (/=) :: Slice -> Slice -> Bool #
Ord Slice Source #
Methods compare :: Slice -> Slice -> Ordering # (<) :: Slice -> Slice -> Bool # (<=) :: Slice -> Slice -> Bool # (>) :: Slice -> Slice -> Bool # (>=) :: Slice -> Slice -> Bool # max :: Slice -> Slice -> Slice # min :: Slice -> Slice -> Slice #
Read Slice Source #
Methods readsPrec :: Int -> ReadS Slice # readList :: ReadS [Slice] # readPrec :: ReadPrec Slice # readListPrec :: ReadPrec [Slice] #
Show Slice Source #
Methods showsPrec :: Int -> Slice -> ShowS # show :: Slice -> String # showList :: [Slice] -> ShowS #
Generic Slice Source #
Associated Types type Rep Slice :: * -> * # Methods from :: Slice -> Rep Slice x # to :: Rep Slice x -> Slice #
Enumerable Slice Source #
Methods enumerated :: [Slice] # cardinality :: proxy Slice -> Natural #
type Rep Slice Source #
type Rep Slice = D1 (MetaData "Slice" "Enumerate.Function.Example" "enumerate-function-0.0.1-5QoArEgJQi6BcghU01ilk1" False) ((:+:) (C1 (MetaCons "Whole" PrefixI False) U1) ((:+:) (C1 (MetaCons "Backwards" PrefixI False) U1) (C1 (MetaCons "Forwards" PrefixI False) U1)))

data Region Source #

Constructors

Character
Token
Line

Instances

Bounded Region Source #
Methods minBound :: Region # maxBound :: Region #
Enum Region Source #
Methods succ :: Region -> Region # pred :: Region -> Region # toEnum :: Int -> Region # fromEnum :: Region -> Int # enumFrom :: Region -> [Region] # enumFromThen :: Region -> Region -> [Region] # enumFromTo :: Region -> Region -> [Region] # enumFromThenTo :: Region -> Region -> Region -> [Region] #
Eq Region Source #
Methods (==) :: Region -> Region -> Bool # (/=) :: Region -> Region -> Bool #
Ord Region Source #
Methods compare :: Region -> Region -> Ordering # (<) :: Region -> Region -> Bool # (<=) :: Region -> Region -> Bool # (>) :: Region -> Region -> Bool # (>=) :: Region -> Region -> Bool # max :: Region -> Region -> Region # min :: Region -> Region -> Region #
Read Region Source #
Methods readsPrec :: Int -> ReadS Region # readList :: ReadS [Region] # readPrec :: ReadPrec Region # readListPrec :: ReadPrec [Region] #
Show Region Source #
Methods showsPrec :: Int -> Region -> ShowS # show :: Region -> String # showList :: [Region] -> ShowS #
Generic Region Source #
Associated Types type Rep Region :: * -> * # Methods from :: Region -> Rep Region x # to :: Rep Region x -> Region #
Enumerable Region Source #
Methods enumerated :: [Region] # cardinality :: proxy Region -> Natural #
type Rep Region Source #
type Rep Region = D1 (MetaData "Region" "Enumerate.Function.Example" "enumerate-function-0.0.1-5QoArEgJQi6BcghU01ilk1" False) ((:+:) (C1 (MetaCons "Character" PrefixI False) U1) ((:+:) (C1 (MetaCons "Token" PrefixI False) U1) (C1 (MetaCons "Line" PrefixI False) U1)))

type KeyBinding = [String] Source #

emacsEdit :: Edit -> KeyBinding Source #

emacsTranspose :: Region -> KeyBinding Source #

emacsSelect :: Region -> Slice -> KeyBinding Source #

emacsBeginRegion :: Region -> KeyBinding Source #

emacsEndRegion :: Region -> KeyBinding Source #