Safe Haskell	Safe-Inferred
Language	Haskell2010

Modelling.Types

Description

This module provides basic types

Documentation

data Change a Source #

Constructors

Change
Fields add :: Maybe a remove :: Maybe a

Instances

Instances details

Foldable Change Source #
Instance details Defined in Modelling.Types Methods fold :: Monoid m => Change m -> m # foldMap :: Monoid m => (a -> m) -> Change a -> m # foldMap' :: Monoid m => (a -> m) -> Change a -> m # foldr :: (a -> b -> b) -> b -> Change a -> b # foldr' :: (a -> b -> b) -> b -> Change a -> b # foldl :: (b -> a -> b) -> b -> Change a -> b # foldl' :: (b -> a -> b) -> b -> Change a -> b # foldr1 :: (a -> a -> a) -> Change a -> a # foldl1 :: (a -> a -> a) -> Change a -> a # toList :: Change a -> [a] # null :: Change a -> Bool # length :: Change a -> Int # elem :: Eq a => a -> Change a -> Bool # maximum :: Ord a => Change a -> a # minimum :: Ord a => Change a -> a # sum :: Num a => Change a -> a # product :: Num a => Change a -> a #
Traversable Change Source #
Instance details Defined in Modelling.Types Methods traverse :: Applicative f => (a -> f b) -> Change a -> f (Change b) # sequenceA :: Applicative f => Change (f a) -> f (Change a) # mapM :: Monad m => (a -> m b) -> Change a -> m (Change b) # sequence :: Monad m => Change (m a) -> m (Change a) #
Functor Change Source #
Instance details Defined in Modelling.Types Methods fmap :: (a -> b) -> Change a -> Change b # (<$) :: a -> Change b -> Change a #
Generic (Change a) Source #
Instance details Defined in Modelling.Types Associated Types type Rep (Change a) :: Type -> Type # Methods from :: Change a -> Rep (Change a) x # to :: Rep (Change a) x -> Change a #
Read a => Read (Change a) Source #
Instance details Defined in Modelling.Types Methods readsPrec :: Int -> ReadS (Change a) # readList :: ReadS [Change a] # readPrec :: ReadPrec (Change a) # readListPrec :: ReadPrec [Change a] #
Show a => Show (Change a) Source #
Instance details Defined in Modelling.Types Methods showsPrec :: Int -> Change a -> ShowS # show :: Change a -> String # showList :: [Change a] -> ShowS #
Eq a => Eq (Change a) Source #
Instance details Defined in Modelling.Types Methods (==) :: Change a -> Change a -> Bool # (/=) :: Change a -> Change a -> Bool #
type Rep (Change a) Source #
Instance details Defined in Modelling.Types type Rep (Change a) = D1 ('MetaData "Change" "Modelling.Types" "modelling-tasks-0.0.0.1-5lkaY76HE6k79qLVIy6Ku2" 'False) (C1 ('MetaCons "Change" 'PrefixI 'True) (S1 ('MetaSel ('Just "add") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe a)) :*: S1 ('MetaSel ('Just "remove") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe a))))

newtype Letters Source #

Constructors

Letters
Fields lettersList :: String

Instances

Instances details

IsString Letters Source #
Instance details Defined in Modelling.Types Methods fromString :: String -> Letters #
Generic Letters Source #
Instance details Defined in Modelling.Types Associated Types type Rep Letters :: Type -> Type # Methods from :: Letters -> Rep Letters x # to :: Rep Letters x -> Letters #
Read Letters Source #
Instance details Defined in Modelling.Types Methods readsPrec :: Int -> ReadS Letters # readList :: ReadS [Letters] # readPrec :: ReadPrec Letters # readListPrec :: ReadPrec [Letters] #
Show Letters Source #
Instance details Defined in Modelling.Types Methods showsPrec :: Int -> Letters -> ShowS # show :: Letters -> String # showList :: [Letters] -> ShowS #
Eq Letters Source #
Instance details Defined in Modelling.Types Methods (==) :: Letters -> Letters -> Bool # (/=) :: Letters -> Letters -> Bool #
Ord Letters Source #
Instance details Defined in Modelling.Types Methods compare :: Letters -> Letters -> Ordering # (<) :: Letters -> Letters -> Bool # (<=) :: Letters -> Letters -> Bool # (>) :: Letters -> Letters -> Bool # (>=) :: Letters -> Letters -> Bool # max :: Letters -> Letters -> Letters # min :: Letters -> Letters -> Letters #
type Rep Letters Source #
Instance details Defined in Modelling.Types type Rep Letters = D1 ('MetaData "Letters" "Modelling.Types" "modelling-tasks-0.0.0.1-5lkaY76HE6k79qLVIy6Ku2" 'True) (C1 ('MetaCons "Letters" 'PrefixI 'True) (S1 ('MetaSel ('Just "lettersList") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

newtype Name Source #

Constructors

Name
Fields unName :: String

Instances

Instances details

IsString Name Source #
Instance details Defined in Modelling.Types Methods fromString :: String -> Name #
Generic Name Source #
Instance details Defined in Modelling.Types Associated Types type Rep Name :: Type -> Type # Methods from :: Name -> Rep Name x # to :: Rep Name x -> Name #
Read Name Source #
Instance details Defined in Modelling.Types Methods readsPrec :: Int -> ReadS Name # readList :: ReadS [Name] # readPrec :: ReadPrec Name # readListPrec :: ReadPrec [Name] #
Show Name Source #
Instance details Defined in Modelling.Types Methods showsPrec :: Int -> Name -> ShowS # show :: Name -> String # showList :: [Name] -> ShowS #
Eq Name Source #
Instance details Defined in Modelling.Types Methods (==) :: Name -> Name -> Bool # (/=) :: Name -> Name -> Bool #
Ord Name Source #
Instance details Defined in Modelling.Types Methods compare :: Name -> Name -> Ordering # (<) :: Name -> Name -> Bool # (<=) :: Name -> Name -> Bool # (>) :: Name -> Name -> Bool # (>=) :: Name -> Name -> Bool # max :: Name -> Name -> Name # min :: Name -> Name -> Name #
type Rep Name Source #
Instance details Defined in Modelling.Types type Rep Name = D1 ('MetaData "Name" "Modelling.Types" "modelling-tasks-0.0.0.1-5lkaY76HE6k79qLVIy6Ku2" 'True) (C1 ('MetaCons "Name" 'PrefixI 'True) (S1 ('MetaSel ('Just "unName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

newtype NameMapping Source #

Constructors

NameMapping
Fields nameMapping :: Bimap Name Name

Instances

Instances details

Generic NameMapping Source #
Instance details Defined in Modelling.Types Associated Types type Rep NameMapping :: Type -> Type # Methods from :: NameMapping -> Rep NameMapping x # to :: Rep NameMapping x -> NameMapping #
Read NameMapping Source #
Instance details Defined in Modelling.Types Methods readsPrec :: Int -> ReadS NameMapping # readList :: ReadS [NameMapping] # readPrec :: ReadPrec NameMapping # readListPrec :: ReadPrec [NameMapping] #
Show NameMapping Source #
Instance details Defined in Modelling.Types Methods showsPrec :: Int -> NameMapping -> ShowS # show :: NameMapping -> String # showList :: [NameMapping] -> ShowS #
Eq NameMapping Source #
Instance details Defined in Modelling.Types Methods (==) :: NameMapping -> NameMapping -> Bool # (/=) :: NameMapping -> NameMapping -> Bool #
type Rep NameMapping Source #
Instance details Defined in Modelling.Types type Rep NameMapping = D1 ('MetaData "NameMapping" "Modelling.Types" "modelling-tasks-0.0.0.1-5lkaY76HE6k79qLVIy6Ku2" 'True) (C1 ('MetaCons "NameMapping" 'PrefixI 'True) (S1 ('MetaSel ('Just "nameMapping") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Bimap Name Name))))

fromNameMapping :: NameMapping -> Bimap String String Source #

parseLettersPrec :: Int -> Parser Letters Source #

parseNamePrec :: Int -> Parser Name Source #

showLetters :: Letters -> String Source #

showName :: Name -> String Source #

toNameMapping :: Bimap String String -> NameMapping Source #