Chiasma.Data.Ident

Documentation

data Ident

Constructors

Str Text

Uuid UUID

Instances

Eq Ident

Defined in Chiasma.Data.Ident

Methods

(==) :: Ident -> Ident -> Bool

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

Data Ident

Defined in Chiasma.Data.Ident

Methods

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

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

toConstr :: Ident -> Constr

dataTypeOf :: Ident -> DataType

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

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

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

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

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

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

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

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

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

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

Ord Ident

Defined in Chiasma.Data.Ident

Methods

compare :: Ident -> Ident -> Ordering

(<) :: Ident -> Ident -> Bool

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

(>) :: Ident -> Ident -> Bool

(>=) :: Ident -> Ident -> Bool

max :: Ident -> Ident -> Ident

min :: Ident -> Ident -> Ident

Show Ident

Defined in Chiasma.Data.Ident

Methods

showsPrec :: Int -> Ident -> ShowS

show :: Ident -> String

showList :: [Ident] -> ShowS

IsString Ident

Defined in Chiasma.Data.Ident

Methods

fromString :: String -> Ident

Generic Ident

Defined in Chiasma.Data.Ident

Associated Types

type Rep Ident :: Type -> Type

Methods

from :: Ident -> Rep Ident x

to :: Rep Ident x -> Ident

ToJSON Ident

Defined in Chiasma.Data.Ident

Methods

toJSON :: Ident -> Value

toEncoding :: Ident -> Encoding

toJSONList :: [Ident] -> Value

toEncodingList :: [Ident] -> Encoding

FromJSON Ident

Defined in Chiasma.Data.Ident

Methods

parseJSON :: Value -> Parser Ident

parseJSONList :: Value -> Parser [Ident]

Default Ident

Defined in Chiasma.Data.Ident

Methods

def :: Ident

NFData Ident

Defined in Chiasma.Data.Ident

Methods

rnf :: Ident -> ()

Pretty Ident

Defined in Chiasma.Data.Ident

Methods

pretty :: Ident -> Doc ann

prettyList :: [Ident] -> Doc ann

Identifiable Ident

Defined in Chiasma.Data.Ident

Methods

identify :: Ident -> Ident

type Rep Ident

Defined in Chiasma.Data.Ident

type Rep Ident = D1 ('MetaData "Ident" "Chiasma.Data.Ident" "chiasma-0.2.0.0-inplace" 'False) (C1 ('MetaCons "Str" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "Uuid" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UUID)))

class Identifiable a where

Methods

identify :: a -> Ident

Instances

Identifiable Ident

Defined in Chiasma.Data.Ident

Methods

identify :: Ident -> Ident

Identifiable (View a)

Defined in Chiasma.Ui.Data.View

Methods

identify :: View a -> Ident

Identifiable (View a)

Defined in Chiasma.Data.View

Methods

identify :: View a -> Ident

Identifiable l => Identifiable (Tree l p)

Defined in Chiasma.Ui.Data.View

Methods

identify :: Tree l p -> Ident

sameIdent :: Identifiable a => Identifiable b => a -> b -> Bool

identText :: Ident -> Text

generateIdent :: MonadIO m => m Ident

parseIdent :: Text -> Ident