Safe Haskell	Safe-Inferred
Language	Haskell2010

Potato.Flow.Owl

Synopsis

errorMsg_owlTree_lookupFail :: OwlTree -> REltId -> Text
errorMsg_owlMapping_lookupFail :: OwlMapping -> REltId -> Text
type OwlMapping = REltIdMap (OwlItemMeta, OwlItem)
owlItem_updateAttachments :: Bool -> REltIdMap REltId -> OwlItem -> OwlItem
type SiblingPosition = Int
locateLeftSiblingIdFromSiblingPosition :: OwlMapping -> Seq REltId -> SiblingPosition -> Maybe REltId
isDescendentOf :: HasCallStack => OwlMapping -> REltId -> REltId -> Bool
data OwlItemMeta = OwlItemMeta {
- _owlItemMeta_parent :: REltId
- _owlItemMeta_depth :: Int
- _owlItemMeta_position :: SiblingPosition
}
data OwlSpot = OwlSpot {
- _owlSpot_parent :: REltId
- _owlSpot_leftSibling :: Maybe REltId
}
topSpot :: OwlSpot
data SuperOwl = SuperOwl {
- _superOwl_id :: REltId
- _superOwl_meta :: OwlItemMeta
- _superOwl_elt :: OwlItem
}
type SuperOwlChanges = REltIdMap (Maybe SuperOwl)
attachmentMap_addSuperOwls' :: Foldable f => (Attachment -> Bool) -> f SuperOwl -> AttachmentMap -> AttachmentMap
attachmentMap_addSuperOwls :: Foldable f => f SuperOwl -> AttachmentMap -> AttachmentMap
updateAttachmentMapFromSuperOwlChanges :: SuperOwlChanges -> AttachmentMap -> AttachmentMap
getChangesFromAttachmentMap :: OwlTree -> AttachmentMap -> SuperOwlChanges -> SuperOwlChanges
superOwl_id :: Functor f => (REltId -> f REltId) -> SuperOwl -> f SuperOwl
superOwl_isTopOwl :: SuperOwl -> Bool
superOwl_isTopOwlSurely :: SuperOwl -> Bool
noOwl :: REltId
superOwl_parentId :: SuperOwl -> REltId
superOwl_depth :: SuperOwl -> Int
superOwl_owlSubItem :: SuperOwl -> OwlSubItem
owlTree_superOwlNthParentId :: OwlTree -> SuperOwl -> Int -> REltId
newtype OwlParliament = OwlParliament {
- unOwlParliament :: Seq REltId
}
newtype SuperOwlParliament = SuperOwlParliament {
- unSuperOwlParliament :: Seq SuperOwl
}
class IsParliament a where
- isParliament_disjointUnion :: a -> a -> a
- isParliament_null :: a -> Bool
- isParliament_empty :: a
- isParliament_length :: a -> Int
disjointUnion :: Eq a => [a] -> [a] -> [a]
owlParliament_toSuperOwlParliament :: OwlTree -> OwlParliament -> SuperOwlParliament
superOwlParliament_toOwlParliament :: SuperOwlParliament -> OwlParliament
partitionN :: (a -> Int) -> Seq a -> IntMap (Seq a)
makeSortedSuperOwlParliament :: OwlTree -> Seq SuperOwl -> SuperOwlParliament
superOwlParliament_disjointUnionAndCorrect :: OwlTree -> SuperOwlParliament -> SuperOwlParliament -> SuperOwlParliament
superOwlParliament_isValid :: OwlTree -> SuperOwlParliament -> Bool
superOwlParliament_toSEltTree :: OwlTree -> SuperOwlParliament -> SEltTree
newtype CanvasSelection = CanvasSelection {
- unCanvasSelection :: Seq SuperOwl
}
superOwlParliament_convertToCanvasSelection :: OwlTree -> (SuperOwl -> Bool) -> SuperOwlParliament -> CanvasSelection
superOwlParliament_convertToSeqWithChildren :: OwlTree -> SuperOwlParliament -> Seq SuperOwl
owlParliament_convertToMiniOwltree :: OwlTree -> OwlParliament -> MiniOwlTree
type OwlParliamentSet = IntSet
superOwlParliament_toOwlParliamentSet :: SuperOwlParliament -> OwlParliamentSet
owlParliamentSet_member :: REltId -> OwlParliamentSet -> Bool
owlParliamentSet_descendent :: OwlTree -> REltId -> OwlParliamentSet -> Bool
owlParliamentSet_findParents :: OwlTree -> OwlParliamentSet -> OwlParliamentSet
data OwlTree = OwlTree {
- _owlTree_mapping :: OwlMapping
- _owlTree_topOwls :: Seq REltId
}
type MiniOwlTree = OwlTree
owlTree_equivalent :: OwlTree -> OwlTree -> Bool
owlTree_validate :: OwlTree -> (Bool, Text)
owlTree_maxId :: OwlTree -> REltId
internal_owlTree_reorgKiddos :: OwlTree -> REltId -> OwlTree
emptyOwlTree :: OwlTree
owlTree_exists :: OwlTree -> REltId -> Bool
owlTree_findSuperOwl :: OwlTree -> REltId -> Maybe SuperOwl
owlTree_mustFindSuperOwl :: HasCallStack => OwlTree -> REltId -> SuperOwl
owlTree_findKiddos :: OwlTree -> REltId -> Maybe (Seq REltId)
owlTree_findSuperOwlAtOwlSpot :: OwlTree -> OwlSpot -> Maybe SuperOwl
owlTree_goRightFromOwlSpot :: OwlTree -> OwlSpot -> Maybe OwlSpot
owlTree_owlItemMeta_toOwlSpot :: OwlTree -> OwlItemMeta -> OwlSpot
owlTree_rEltId_toOwlSpot :: HasCallStack => OwlTree -> REltId -> OwlSpot
owlTree_rEltId_toFlattenedIndex_debug :: OwlTree -> REltId -> Int
owlTree_makeAttachmentMap :: OwlTree -> AttachmentMap
owlTree_hasDanglingAttachments :: OwlTree -> Bool
owlTree_topSuperOwls :: OwlTree -> Seq SuperOwl
owlTree_foldAt' :: (a -> SuperOwl -> a) -> a -> OwlTree -> SuperOwl -> a
owlTree_foldAt :: (a -> SuperOwl -> a) -> a -> OwlTree -> REltId -> a
owlTree_foldChildrenAt' :: (a -> SuperOwl -> a) -> a -> OwlTree -> SuperOwl -> a
owlTree_foldChildrenAt :: (a -> SuperOwl -> a) -> a -> OwlTree -> REltId -> a
owlTree_fold :: (a -> SuperOwl -> a) -> a -> OwlTree -> a
owlTree_owlCount :: OwlTree -> Int
owliterateat :: OwlTree -> REltId -> Seq SuperOwl
owliteratechildrenat :: OwlTree -> REltId -> Seq SuperOwl
owliterateall :: OwlTree -> Seq SuperOwl
class HasOwlTree o where
- hasOwlTree_owlTree :: o -> OwlTree
- hasOwlTree_exists :: o -> REltId -> Bool
- hasOwlTree_findSuperOwl :: o -> REltId -> Maybe SuperOwl
- hasOwlTree_mustFindSuperOwl :: HasCallStack => o -> REltId -> SuperOwl
- hasOwlTree_test_findFirstSuperOwlByName :: o -> Text -> Maybe SuperOwl
- hasOwlTree_test_mustFindFirstSuperOwlByName :: o -> Text -> SuperOwl
owlTree_toSuperOwlParliament :: OwlTree -> SuperOwlParliament
owlTree_removeREltId :: REltId -> OwlTree -> OwlTree
owlTree_removeSuperOwl :: SuperOwl -> OwlTree -> OwlTree
owlTree_moveOwlParliament :: OwlParliament -> OwlSpot -> OwlTree -> (OwlTree, [SuperOwl])
owlTree_addSEltTree :: OwlSpot -> SEltTree -> OwlTree -> (OwlTree, [SuperOwl])
owlTree_reindex :: Int -> OwlTree -> OwlTree
owlTree_addMiniOwlTree :: OwlSpot -> MiniOwlTree -> OwlTree -> (OwlTree, [SuperOwl])
internal_owlTree_addOwlItem :: OwlSpot -> REltId -> OwlItem -> OwlTree -> (OwlTree, SuperOwl)
owlTree_addOwlItem :: OwlSpot -> REltId -> OwlItem -> OwlTree -> (OwlTree, SuperOwl)
owlTree_addOwlItemList :: [(REltId, OwlSpot, OwlItem)] -> OwlTree -> (OwlTree, [SuperOwl])
owlTree_superOwl_comparePosition :: OwlTree -> SuperOwl -> SuperOwl -> Ordering
internal_addUntilFolderEndRecursive :: REltIdMap SEltLabel -> Seq REltId -> Int -> REltId -> Int -> REltIdMap (OwlItemMeta, OwlItem) -> Seq REltId -> (Int, REltIdMap (OwlItemMeta, OwlItem), Seq REltId)
owlTree_fromSEltTree :: SEltTree -> OwlTree
owlTree_fromOldState :: REltIdMap SEltLabel -> Seq REltId -> OwlTree
owlTree_toSEltTree :: OwlTree -> SEltTree
superOwl_toSElt_hack :: SuperOwl -> SElt
superOwl_toSEltLabel_hack :: SuperOwl -> SEltLabel

Documentation

errorMsg_owlTree_lookupFail :: OwlTree -> REltId -> Text Source #

errorMsg_owlMapping_lookupFail :: OwlMapping -> REltId -> Text Source #

type OwlMapping = REltIdMap (OwlItemMeta, OwlItem) Source #

owlItem_updateAttachments :: Bool -> REltIdMap REltId -> OwlItem -> OwlItem Source #

update attachments based on remap

type SiblingPosition = Int Source #

locateLeftSiblingIdFromSiblingPosition :: OwlMapping -> Seq REltId -> SiblingPosition -> Maybe REltId Source #

isDescendentOf :: HasCallStack => OwlMapping -> REltId -> REltId -> Bool Source #

data OwlItemMeta Source #

Constructors

OwlItemMeta
Fields _owlItemMeta_parent :: REltId _owlItemMeta_depth :: Int _owlItemMeta_position :: SiblingPosition

Instances

Instances details

Generic OwlItemMeta Source #
Instance details Defined in Potato.Flow.Owl Associated Types type Rep OwlItemMeta :: Type -> Type # Methods from :: OwlItemMeta -> Rep OwlItemMeta x # to :: Rep OwlItemMeta x -> OwlItemMeta #
Show OwlItemMeta Source #
Instance details Defined in Potato.Flow.Owl Methods showsPrec :: Int -> OwlItemMeta -> ShowS # show :: OwlItemMeta -> String # showList :: [OwlItemMeta] -> ShowS #
NFData OwlItemMeta Source #
Instance details Defined in Potato.Flow.Owl Methods rnf :: OwlItemMeta -> () #
Eq OwlItemMeta Source #
Instance details Defined in Potato.Flow.Owl Methods (==) :: OwlItemMeta -> OwlItemMeta -> Bool # (/=) :: OwlItemMeta -> OwlItemMeta -> Bool #
PotatoShow OwlItemMeta Source #
Instance details Defined in Potato.Flow.Owl Methods potatoShow :: OwlItemMeta -> Text Source #
type Rep OwlItemMeta Source #
Instance details Defined in Potato.Flow.Owl type Rep OwlItemMeta = D1 ('MetaData "OwlItemMeta" "Potato.Flow.Owl" "tinytools-0.1.0.0-DrleRpyeSqeBtRJXQdRmv7" 'False) (C1 ('MetaCons "OwlItemMeta" 'PrefixI 'True) (S1 ('MetaSel ('Just "_owlItemMeta_parent") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 REltId) :: (S1 ('MetaSel ('Just "_owlItemMeta_depth") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :: S1 ('MetaSel ('Just "_owlItemMeta_position") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SiblingPosition))))

data OwlSpot Source #

Constructors

OwlSpot
Fields _owlSpot_parent :: REltId _owlSpot_leftSibling :: Maybe REltId

Instances

Instances details

Generic OwlSpot Source #
Instance details Defined in Potato.Flow.Owl Associated Types type Rep OwlSpot :: Type -> Type # Methods from :: OwlSpot -> Rep OwlSpot x # to :: Rep OwlSpot x -> OwlSpot #
Show OwlSpot Source #
Instance details Defined in Potato.Flow.Owl Methods showsPrec :: Int -> OwlSpot -> ShowS # show :: OwlSpot -> String # showList :: [OwlSpot] -> ShowS #
NFData OwlSpot Source #
Instance details Defined in Potato.Flow.Owl Methods rnf :: OwlSpot -> () #
type Rep OwlSpot Source #
Instance details Defined in Potato.Flow.Owl type Rep OwlSpot = D1 ('MetaData "OwlSpot" "Potato.Flow.Owl" "tinytools-0.1.0.0-DrleRpyeSqeBtRJXQdRmv7" 'False) (C1 ('MetaCons "OwlSpot" 'PrefixI 'True) (S1 ('MetaSel ('Just "_owlSpot_parent") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 REltId) :*: S1 ('MetaSel ('Just "_owlSpot_leftSibling") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe REltId))))

topSpot :: OwlSpot Source #

data SuperOwl Source #

Constructors

SuperOwl
Fields _superOwl_id :: REltId _superOwl_meta :: OwlItemMeta _superOwl_elt :: OwlItem

Instances

Instances details

Generic SuperOwl Source #
Instance details Defined in Potato.Flow.Owl Associated Types type Rep SuperOwl :: Type -> Type # Methods from :: SuperOwl -> Rep SuperOwl x # to :: Rep SuperOwl x -> SuperOwl #
Show SuperOwl Source #
Instance details Defined in Potato.Flow.Owl Methods showsPrec :: Int -> SuperOwl -> ShowS # show :: SuperOwl -> String # showList :: [SuperOwl] -> ShowS #
NFData SuperOwl Source #
Instance details Defined in Potato.Flow.Owl Methods rnf :: SuperOwl -> () #
Eq SuperOwl Source #
Instance details Defined in Potato.Flow.Owl Methods (==) :: SuperOwl -> SuperOwl -> Bool # (/=) :: SuperOwl -> SuperOwl -> Bool #
PotatoShow SuperOwl Source #
Instance details Defined in Potato.Flow.Owl Methods potatoShow :: SuperOwl -> Text Source #
HasOwlItem SuperOwl Source #
Instance details Defined in Potato.Flow.Owl Methods hasOwlItem_owlItem :: SuperOwl -> OwlItem Source # hasOwlItem_name :: SuperOwl -> Text Source # hasOwlItem_isFolder :: SuperOwl -> Bool Source # hasOwlItem_attachments :: SuperOwl -> [Attachment] Source # hasOwlItem_toSElt_hack :: SuperOwl -> SElt Source # hasOwlItem_toSEltLabel_hack :: SuperOwl -> SEltLabel Source # hasOwlItem_toOwlSubItem :: SuperOwl -> OwlSubItem Source #
MommyOwl SuperOwl Source #
Instance details Defined in Potato.Flow.Owl Methods mommyOwl_kiddos :: SuperOwl -> Maybe (Seq REltId) Source # mommyOwl_hasKiddos :: SuperOwl -> Bool Source #
type Rep SuperOwl Source #
Instance details Defined in Potato.Flow.Owl type Rep SuperOwl = D1 ('MetaData "SuperOwl" "Potato.Flow.Owl" "tinytools-0.1.0.0-DrleRpyeSqeBtRJXQdRmv7" 'False) (C1 ('MetaCons "SuperOwl" 'PrefixI 'True) (S1 ('MetaSel ('Just "_superOwl_id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 REltId) :: (S1 ('MetaSel ('Just "_superOwl_meta") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OwlItemMeta) :: S1 ('MetaSel ('Just "_superOwl_elt") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OwlItem))))

type SuperOwlChanges = REltIdMap (Maybe SuperOwl) Source #

attachmentMap_addSuperOwls' :: Foldable f => (Attachment -> Bool) -> f SuperOwl -> AttachmentMap -> AttachmentMap Source #

attachmentMap_addSuperOwls :: Foldable f => f SuperOwl -> AttachmentMap -> AttachmentMap Source #

updateAttachmentMapFromSuperOwlChanges :: SuperOwlChanges -> AttachmentMap -> AttachmentMap Source #

update AttachmentMap from SuperOwlChanges (call on SuperOwlChanges produced by updateOwlPFWorkspace)

getChangesFromAttachmentMap :: OwlTree -> AttachmentMap -> SuperOwlChanges -> SuperOwlChanges Source #

update SuperOwlChanges to include stuff attached to stuff that changed (call before rendering)

superOwl_id :: Functor f => (REltId -> f REltId) -> SuperOwl -> f SuperOwl Source #

superOwl_isTopOwl :: SuperOwl -> Bool Source #

superOwl_isTopOwlSurely :: SuperOwl -> Bool Source #

same as superOwl_isTopOwl except checks all conditions, intended to be used in asserts

noOwl :: REltId Source #

superOwl_parentId :: SuperOwl -> REltId Source #

superOwl_depth :: SuperOwl -> Int Source #

superOwl_owlSubItem :: SuperOwl -> OwlSubItem Source #

owlTree_superOwlNthParentId :: OwlTree -> SuperOwl -> Int -> REltId Source #

newtype OwlParliament Source #

Constructors

OwlParliament
Fields unOwlParliament :: Seq REltId

Instances

Instances details

Generic OwlParliament Source #
Instance details Defined in Potato.Flow.Owl Associated Types type Rep OwlParliament :: Type -> Type # Methods from :: OwlParliament -> Rep OwlParliament x # to :: Rep OwlParliament x -> OwlParliament #
Show OwlParliament Source #
Instance details Defined in Potato.Flow.Owl Methods showsPrec :: Int -> OwlParliament -> ShowS # show :: OwlParliament -> String # showList :: [OwlParliament] -> ShowS #
NFData OwlParliament Source #
Instance details Defined in Potato.Flow.Owl Methods rnf :: OwlParliament -> () #
IsParliament OwlParliament Source #
Instance details Defined in Potato.Flow.Owl Methods isParliament_disjointUnion :: OwlParliament -> OwlParliament -> OwlParliament Source # isParliament_null :: OwlParliament -> Bool Source # isParliament_empty :: OwlParliament Source # isParliament_length :: OwlParliament -> Int Source #
type Rep OwlParliament Source #
Instance details Defined in Potato.Flow.Owl type Rep OwlParliament = D1 ('MetaData "OwlParliament" "Potato.Flow.Owl" "tinytools-0.1.0.0-DrleRpyeSqeBtRJXQdRmv7" 'True) (C1 ('MetaCons "OwlParliament" 'PrefixI 'True) (S1 ('MetaSel ('Just "unOwlParliament") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Seq REltId))))

newtype SuperOwlParliament Source #

Constructors

SuperOwlParliament
Fields unSuperOwlParliament :: Seq SuperOwl

Instances

Instances details

Generic SuperOwlParliament Source #
Instance details Defined in Potato.Flow.Owl Associated Types type Rep SuperOwlParliament :: Type -> Type # Methods from :: SuperOwlParliament -> Rep SuperOwlParliament x # to :: Rep SuperOwlParliament x -> SuperOwlParliament #
Show SuperOwlParliament Source #
Instance details Defined in Potato.Flow.Owl Methods showsPrec :: Int -> SuperOwlParliament -> ShowS # show :: SuperOwlParliament -> String # showList :: [SuperOwlParliament] -> ShowS #
NFData SuperOwlParliament Source #
Instance details Defined in Potato.Flow.Owl Methods rnf :: SuperOwlParliament -> () #
Eq SuperOwlParliament Source #
Instance details Defined in Potato.Flow.Owl Methods (==) :: SuperOwlParliament -> SuperOwlParliament -> Bool # (/=) :: SuperOwlParliament -> SuperOwlParliament -> Bool #
PotatoShow SuperOwlParliament Source #
Instance details Defined in Potato.Flow.Owl Methods potatoShow :: SuperOwlParliament -> Text Source #
IsParliament SuperOwlParliament Source #
Instance details Defined in Potato.Flow.Owl Methods isParliament_disjointUnion :: SuperOwlParliament -> SuperOwlParliament -> SuperOwlParliament Source # isParliament_null :: SuperOwlParliament -> Bool Source # isParliament_empty :: SuperOwlParliament Source # isParliament_length :: SuperOwlParliament -> Int Source #
type Rep SuperOwlParliament Source #
Instance details Defined in Potato.Flow.Owl type Rep SuperOwlParliament = D1 ('MetaData "SuperOwlParliament" "Potato.Flow.Owl" "tinytools-0.1.0.0-DrleRpyeSqeBtRJXQdRmv7" 'True) (C1 ('MetaCons "SuperOwlParliament" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSuperOwlParliament") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Seq SuperOwl))))

class IsParliament a where Source #

Methods

isParliament_disjointUnion :: a -> a -> a Source #

isParliament_null :: a -> Bool Source #

isParliament_empty :: a Source #

isParliament_length :: a -> Int Source #

Instances

Instances details

IsParliament OwlParliament Source #
Instance details Defined in Potato.Flow.Owl Methods isParliament_disjointUnion :: OwlParliament -> OwlParliament -> OwlParliament Source # isParliament_null :: OwlParliament -> Bool Source # isParliament_empty :: OwlParliament Source # isParliament_length :: OwlParliament -> Int Source #
IsParliament SuperOwlParliament Source #
Instance details Defined in Potato.Flow.Owl Methods isParliament_disjointUnion :: SuperOwlParliament -> SuperOwlParliament -> SuperOwlParliament Source # isParliament_null :: SuperOwlParliament -> Bool Source # isParliament_empty :: SuperOwlParliament Source # isParliament_length :: SuperOwlParliament -> Int Source #

disjointUnion :: Eq a => [a] -> [a] -> [a] Source #

owlParliament_toSuperOwlParliament :: OwlTree -> OwlParliament -> SuperOwlParliament Source #

superOwlParliament_toOwlParliament :: SuperOwlParliament -> OwlParliament Source #

partitionN :: (a -> Int) -> Seq a -> IntMap (Seq a) Source #

partition a list into groups based on int pairings

makeSortedSuperOwlParliament :: OwlTree -> Seq SuperOwl -> SuperOwlParliament Source #

superOwlParliament_disjointUnionAndCorrect :: OwlTree -> SuperOwlParliament -> SuperOwlParliament -> SuperOwlParliament Source #

superOwlParliament_isValid :: OwlTree -> SuperOwlParliament -> Bool Source #

superOwlParliament_toSEltTree :: OwlTree -> SuperOwlParliament -> SEltTree Source #

newtype CanvasSelection Source #

Constructors

CanvasSelection
Fields unCanvasSelection :: Seq SuperOwl

Instances

Instances details

Show CanvasSelection Source #
Instance details Defined in Potato.Flow.Owl Methods showsPrec :: Int -> CanvasSelection -> ShowS # show :: CanvasSelection -> String # showList :: [CanvasSelection] -> ShowS #
Eq CanvasSelection Source #
Instance details Defined in Potato.Flow.Owl Methods (==) :: CanvasSelection -> CanvasSelection -> Bool # (/=) :: CanvasSelection -> CanvasSelection -> Bool #

superOwlParliament_convertToCanvasSelection :: OwlTree -> (SuperOwl -> Bool) -> SuperOwlParliament -> CanvasSelection Source #

convert SuperOwlParliament to CanvasSelection (includes children and no folders) does not omits locked/hidden elts since Owl should not depend on Layers, you should do this using filterfn I guess??

superOwlParliament_convertToSeqWithChildren :: OwlTree -> SuperOwlParliament -> Seq SuperOwl Source #

owlParliament_convertToMiniOwltree :: OwlTree -> OwlParliament -> MiniOwlTree Source #

intended for use in OwlWorkspace to create PFCmd generate MiniOwlTree will be reindexed so as not to conflict with OwlTree relies on OwlParliament being correctly ordered

type OwlParliamentSet = IntSet Source #

superOwlParliament_toOwlParliamentSet :: SuperOwlParliament -> OwlParliamentSet Source #

owlParliamentSet_member :: REltId -> OwlParliamentSet -> Bool Source #

owlParliamentSet_descendent :: OwlTree -> REltId -> OwlParliamentSet -> Bool Source #

returns true if rid is a contained in the OwlParliamentSet or is a descendent of sset

owlParliamentSet_findParents :: OwlTree -> OwlParliamentSet -> OwlParliamentSet Source #

data OwlTree Source #

Constructors

OwlTree
Fields _owlTree_mapping :: OwlMapping _owlTree_topOwls :: Seq REltId

Instances

Instances details

Generic OwlTree Source #
Instance details Defined in Potato.Flow.Owl Associated Types type Rep OwlTree :: Type -> Type # Methods from :: OwlTree -> Rep OwlTree x # to :: Rep OwlTree x -> OwlTree #
Show OwlTree Source #
Instance details Defined in Potato.Flow.Owl Methods showsPrec :: Int -> OwlTree -> ShowS # show :: OwlTree -> String # showList :: [OwlTree] -> ShowS #
NFData OwlTree Source #
Instance details Defined in Potato.Flow.Owl Methods rnf :: OwlTree -> () #
Eq OwlTree Source #
Instance details Defined in Potato.Flow.Owl Methods (==) :: OwlTree -> OwlTree -> Bool # (/=) :: OwlTree -> OwlTree -> Bool #
PotatoShow OwlTree Source #
Instance details Defined in Potato.Flow.Owl Methods potatoShow :: OwlTree -> Text Source #
HasOwlTree OwlTree Source #
Instance details Defined in Potato.Flow.Owl Methods hasOwlTree_owlTree :: OwlTree -> OwlTree Source # hasOwlTree_exists :: OwlTree -> REltId -> Bool Source # hasOwlTree_findSuperOwl :: OwlTree -> REltId -> Maybe SuperOwl Source # hasOwlTree_mustFindSuperOwl :: OwlTree -> REltId -> SuperOwl Source # hasOwlTree_test_findFirstSuperOwlByName :: OwlTree -> Text -> Maybe SuperOwl Source # hasOwlTree_test_mustFindFirstSuperOwlByName :: OwlTree -> Text -> SuperOwl Source #
MommyOwl OwlTree Source #
Instance details Defined in Potato.Flow.Owl Methods mommyOwl_kiddos :: OwlTree -> Maybe (Seq REltId) Source # mommyOwl_hasKiddos :: OwlTree -> Bool Source #
type Rep OwlTree Source #
Instance details Defined in Potato.Flow.Owl type Rep OwlTree = D1 ('MetaData "OwlTree" "Potato.Flow.Owl" "tinytools-0.1.0.0-DrleRpyeSqeBtRJXQdRmv7" 'False) (C1 ('MetaCons "OwlTree" 'PrefixI 'True) (S1 ('MetaSel ('Just "_owlTree_mapping") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OwlMapping) :*: S1 ('MetaSel ('Just "_owlTree_topOwls") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Seq REltId))))

type MiniOwlTree = OwlTree Source #

owlTree_equivalent :: OwlTree -> OwlTree -> Bool Source #

check if two OwlTree's are equivalent checks if structure is the same, REltIds can differ

owlTree_validate :: OwlTree -> (Bool, Text) Source #

owlTree_maxId :: OwlTree -> REltId Source #

internal_owlTree_reorgKiddos :: OwlTree -> REltId -> OwlTree Source #

emptyOwlTree :: OwlTree Source #

owlTree_exists :: OwlTree -> REltId -> Bool Source #

owlTree_findSuperOwl :: OwlTree -> REltId -> Maybe SuperOwl Source #

owlTree_mustFindSuperOwl :: HasCallStack => OwlTree -> REltId -> SuperOwl Source #

owlTree_findKiddos :: OwlTree -> REltId -> Maybe (Seq REltId) Source #

owlTree_findSuperOwlAtOwlSpot :: OwlTree -> OwlSpot -> Maybe SuperOwl Source #

owlTree_goRightFromOwlSpot :: OwlTree -> OwlSpot -> Maybe OwlSpot Source #

owlTree_owlItemMeta_toOwlSpot :: OwlTree -> OwlItemMeta -> OwlSpot Source #

throws if OwlItemMeta is invalid in OwlTree TODO make naming consistent in this file...

owlTree_rEltId_toOwlSpot :: HasCallStack => OwlTree -> REltId -> OwlSpot Source #

throws if REltId is invalid in OwlTree

owlTree_rEltId_toFlattenedIndex_debug :: OwlTree -> REltId -> Int Source #

super inefficient implementation for testing only

owlTree_makeAttachmentMap :: OwlTree -> AttachmentMap Source #

NOTE this will return an AttachmentMap containing targets that have since been deleted

owlTree_hasDanglingAttachments :: OwlTree -> Bool Source #

return fales if any attachments are dangling (i.e. they are attached to a target that does not exist in the tree)

owlTree_topSuperOwls :: OwlTree -> Seq SuperOwl Source #

owlTree_foldAt' :: (a -> SuperOwl -> a) -> a -> OwlTree -> SuperOwl -> a Source #

owlTree_foldAt :: (a -> SuperOwl -> a) -> a -> OwlTree -> REltId -> a Source #

fold over an element in the tree and all its children

owlTree_foldChildrenAt' :: (a -> SuperOwl -> a) -> a -> OwlTree -> SuperOwl -> a Source #

owlTree_foldChildrenAt :: (a -> SuperOwl -> a) -> a -> OwlTree -> REltId -> a Source #

same as owlTree_foldAt but excludes parent

owlTree_fold :: (a -> SuperOwl -> a) -> a -> OwlTree -> a Source #

owlTree_owlCount :: OwlTree -> Int Source #

owliterateat :: OwlTree -> REltId -> Seq SuperOwl Source #

iterates an element and all its children

owliteratechildrenat :: OwlTree -> REltId -> Seq SuperOwl Source #

iterates an element's children (excluding self)

owliterateall :: OwlTree -> Seq SuperOwl Source #

iterates everything in the directory

class HasOwlTree o where Source #

Minimal complete definition

hasOwlTree_owlTree

Methods

hasOwlTree_owlTree :: o -> OwlTree Source #

hasOwlTree_exists :: o -> REltId -> Bool Source #

hasOwlTree_findSuperOwl :: o -> REltId -> Maybe SuperOwl Source #

hasOwlTree_mustFindSuperOwl :: HasCallStack => o -> REltId -> SuperOwl Source #

hasOwlTree_test_findFirstSuperOwlByName :: o -> Text -> Maybe SuperOwl Source #

hasOwlTree_test_mustFindFirstSuperOwlByName :: o -> Text -> SuperOwl Source #

Instances

Instances details

HasOwlTree OwlTree Source #
Instance details Defined in Potato.Flow.Owl Methods hasOwlTree_owlTree :: OwlTree -> OwlTree Source # hasOwlTree_exists :: OwlTree -> REltId -> Bool Source # hasOwlTree_findSuperOwl :: OwlTree -> REltId -> Maybe SuperOwl Source # hasOwlTree_mustFindSuperOwl :: OwlTree -> REltId -> SuperOwl Source # hasOwlTree_test_findFirstSuperOwlByName :: OwlTree -> Text -> Maybe SuperOwl Source # hasOwlTree_test_mustFindFirstSuperOwlByName :: OwlTree -> Text -> SuperOwl Source #
HasOwlTree OwlPFState Source #
Instance details Defined in Potato.Flow.OwlState Methods hasOwlTree_owlTree :: OwlPFState -> OwlTree Source # hasOwlTree_exists :: OwlPFState -> REltId -> Bool Source # hasOwlTree_findSuperOwl :: OwlPFState -> REltId -> Maybe SuperOwl Source # hasOwlTree_mustFindSuperOwl :: OwlPFState -> REltId -> SuperOwl Source # hasOwlTree_test_findFirstSuperOwlByName :: OwlPFState -> Text -> Maybe SuperOwl Source # hasOwlTree_test_mustFindFirstSuperOwlByName :: OwlPFState -> Text -> SuperOwl Source #
HasOwlTree RenderContext Source #
Instance details Defined in Potato.Flow.Render Methods hasOwlTree_owlTree :: RenderContext -> OwlTree Source # hasOwlTree_exists :: RenderContext -> REltId -> Bool Source # hasOwlTree_findSuperOwl :: RenderContext -> REltId -> Maybe SuperOwl Source # hasOwlTree_mustFindSuperOwl :: RenderContext -> REltId -> SuperOwl Source # hasOwlTree_test_findFirstSuperOwlByName :: RenderContext -> Text -> Maybe SuperOwl Source # hasOwlTree_test_mustFindFirstSuperOwlByName :: RenderContext -> Text -> SuperOwl Source #

owlTree_toSuperOwlParliament :: OwlTree -> SuperOwlParliament Source #

select everything in the OwlTree

owlTree_removeREltId :: REltId -> OwlTree -> OwlTree Source #

owlTree_removeSuperOwl :: SuperOwl -> OwlTree -> OwlTree Source #

owlTree_moveOwlParliament :: OwlParliament -> OwlSpot -> OwlTree -> (OwlTree, [SuperOwl]) Source #

owlTree_addSEltTree :: OwlSpot -> SEltTree -> OwlTree -> (OwlTree, [SuperOwl]) Source #

assumes SEltTree REltIds do not collide with OwlTree

owlTree_reindex :: Int -> OwlTree -> OwlTree Source #

actually this might be OK... or at least we want to check against tree we are attaching to such that if we copy paste something that was attached it keeps those attachments (or maybe we don't!)

owlTree_addMiniOwlTree :: OwlSpot -> MiniOwlTree -> OwlTree -> (OwlTree, [SuperOwl]) Source #

internal_owlTree_addOwlItem :: OwlSpot -> REltId -> OwlItem -> OwlTree -> (OwlTree, SuperOwl) Source #

owlTree_addOwlItem :: OwlSpot -> REltId -> OwlItem -> OwlTree -> (OwlTree, SuperOwl) Source #

owlTree_addOwlItemList :: [(REltId, OwlSpot, OwlItem)] -> OwlTree -> (OwlTree, [SuperOwl]) Source #

owlTree_superOwl_comparePosition :: OwlTree -> SuperOwl -> SuperOwl -> Ordering Source #

internal_addUntilFolderEndRecursive Source #

Arguments

:: REltIdMap SEltLabel
-> Seq REltId
-> Int	current layer position we are adding
-> REltId	parent
-> Int	depth
-> REltIdMap (OwlItemMeta, OwlItem)	accumulated directory
-> Seq REltId	accumulated children at current level
-> (Int, REltIdMap (OwlItemMeta, OwlItem), Seq REltId)	(next lp, accumulated directory, children of current level)

use to convert old style layers to Owl

owlTree_fromSEltTree :: SEltTree -> OwlTree Source #

owlTree_fromOldState :: REltIdMap SEltLabel -> Seq REltId -> OwlTree Source #

owlTree_toSEltTree :: OwlTree -> SEltTree Source #

superOwl_toSElt_hack :: SuperOwl -> SElt Source #

superOwl_toSEltLabel_hack :: SuperOwl -> SEltLabel Source #