Blessed.Internal.NodeKey

data NodeKey :: Subject -> Symbol -> Typedata NodeKey (kind :: Subject) (symbol :: Symbol)

Constructors

• NodeKey (Maybe Int)

Instances

• Ord (NodeKey subj sym)
• Bounded (NodeKey subj sym)
• Enum (NodeKey subj sym)
• Eq (NodeKey subj id)
• (IsSubject subj, IsSymbol id) => Show (NodeKey subj id)

newtype RawNodeKey

Constructors

• RawNodeKey { mbIndex :: Maybe Int, subject :: Subject_, userId :: String }

Instances

• Newtype RawNodeKey _
• EncodeJson RawNodeKey
• Show RawNodeKey
• Eq RawNodeKey
• Ord RawNodeKey

Operator alias for Blessed.Internal.NodeKey.make (left-associative / precedence 6)

Operator alias for Blessed.Internal.NodeKey.NodeKey (left-associative / precedence 6)

Operator alias for Blessed.Internal.NodeKey.NKAppend (left-associative / precedence 6)

type NKAppend :: Subject -> Symbol -> Symbol -> Typetype NKAppend subj symA symB = forall symC symD. Append symA "::" symC => Append symC symB symD => NodeKey subj symD

make :: forall subj sym. IsSubject subj => IsSymbol sym => Proxy subj -> Proxy sym -> NodeKey subj sym

makeN :: forall subj sym. IsSubject subj => IsSymbol sym => Proxy subj -> ((Proxy sym) /\ Int) -> NodeKey subj sym

nk :: forall subj sym. NodeKey subj sym

first :: forall subj sym. NodeKey subj sym

next :: forall subj sym. NodeKey subj sym -> NodeKey subj sym

prev :: forall subj sym. NodeKey subj sym -> NodeKey subj sym

setN :: forall subj sym. Int -> NodeKey subj sym -> NodeKey subj sym

getN :: forall subj sym. NodeKey subj sym -> Maybe Int

append :: forall subjA symA subjB symB. NodeKey subjA symA -> NodeKey subjB symB -> NKAppend subjB symA symB

makeUnsafe :: forall subj sym. IsSymbol sym => IsSubject subj => Proxy subj -> String -> NodeKey subj sym

toRaw :: forall subj uid. IsSubject subj => IsSymbol uid => NodeKey subj uid -> RawNodeKey

uniqueId :: forall subj uid. IsSubject subj => IsSymbol uid => NodeKey subj uid -> String

uniqueIdRaw :: RawNodeKey -> String

process :: (Ext Process) <^> ""

chain :: forall f subj id. Unfoldable1 f => Int -> f (NodeKey subj id)

continue :: forall f subjA subjB idA idB. Unfoldable1 f => NodeKey subjA idA -> Int -> f (NodeKey subjB idB)

nestChain :: forall f subjA subjB idA idB. Unfoldable1 f => NodeKey subjA idA -> Int -> f (NodeKey subjB idB)

class Respresents :: Subject -> Subject -> Symbol -> Constraintclass (Extends parent subj, IsSubject parent, IsSubject subj, IsSymbol id) <= Respresents parent subj id 

Instances

• (Extends parent subj, IsSubject parent, IsSubject subj, IsSymbol id) => Respresents parent subj id

newtype HoldsNodeKey

Constructors

• HoldsNodeKey (forall r. (forall subj id. IsSubject subj => IsSymbol id => NodeKey subj id -> r) -> r)