Safe Haskell	None
Language	Haskell2010

Network.IPFS.SparseTree

Synopsis

data SparseTree
- = Stub Name
- | Content CID
- | Directory (Map Tag SparseTree)
newtype Linearization = NonLinear SparseTree
linearize :: SparseTree -> Either Linearization Path
cIDs :: (Monoid (f CID), Applicative f) => SparseTree -> f CID

Documentation

data SparseTree Source #

Directory structure for CIDs and other identifiers

Examples:

Content "abcdef"

show $ Directory [(Key "abcdef", Stub "myfile.txt")])]

"abcdef/myfile.txt"

Constructors

Stub Name
Content CID
Directory (Map Tag SparseTree)

Instances

Eq SparseTree Source #
Instance details Defined in Network.IPFS.SparseTree.Types Methods (==) :: SparseTree -> SparseTree -> Bool # (/=) :: SparseTree -> SparseTree -> Bool #
Show SparseTree Source #
Instance details Defined in Network.IPFS.SparseTree.Types Methods showsPrec :: Int -> SparseTree -> ShowS # show :: SparseTree -> String # showList :: [SparseTree] -> ShowS #
Generic SparseTree Source #
Instance details Defined in Network.IPFS.SparseTree.Types Associated Types type Rep SparseTree :: Type -> Type # Methods from :: SparseTree -> Rep SparseTree x # to :: Rep SparseTree x -> SparseTree #
ToJSON SparseTree Source #
Instance details Defined in Network.IPFS.SparseTree.Types Methods toJSON :: SparseTree -> Value # toEncoding :: SparseTree -> Encoding # toJSONList :: [SparseTree] -> Value # toEncodingList :: [SparseTree] -> Encoding #
Display SparseTree Source #
Instance details Defined in Network.IPFS.SparseTree.Types Methods display :: SparseTree -> Utf8Builder # textDisplay :: SparseTree -> Text #
ToSchema SparseTree Source #
Instance details Defined in Network.IPFS.SparseTree.Types Methods declareNamedSchema :: Proxy SparseTree -> Declare (Definitions Schema) NamedSchema #
Display (Map Tag SparseTree) Source #
Instance details Defined in Network.IPFS.SparseTree.Types Methods display :: Map Tag SparseTree -> Utf8Builder # textDisplay :: Map Tag SparseTree -> Text #
type Rep SparseTree Source #
Instance details Defined in Network.IPFS.SparseTree.Types type Rep SparseTree = D1 (MetaData "SparseTree" "Network.IPFS.SparseTree.Types" "ipfs-1.0.1-1bnI2LaLNRVEx6nrkfb5Av" False) (C1 (MetaCons "Stub" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Name)) :+: (C1 (MetaCons "Content" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 CID)) :+: C1 (MetaCons "Directory" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Map Tag SparseTree)))))

newtype Linearization Source #

Constructors

NonLinear SparseTree

Instances

Eq Linearization Source #
Instance details Defined in Network.IPFS.Error Methods (==) :: Linearization -> Linearization -> Bool # (/=) :: Linearization -> Linearization -> Bool #
Show Linearization Source #
Instance details Defined in Network.IPFS.Error Methods showsPrec :: Int -> Linearization -> ShowS # show :: Linearization -> String # showList :: [Linearization] -> ShowS #
Generic Linearization Source #
Instance details Defined in Network.IPFS.Error Associated Types type Rep Linearization :: Type -> Type # Methods from :: Linearization -> Rep Linearization x # to :: Rep Linearization x -> Linearization #
ToJSON Linearization Source #
Instance details Defined in Network.IPFS.Error Methods toJSON :: Linearization -> Value # toEncoding :: Linearization -> Encoding # toJSONList :: [Linearization] -> Value # toEncodingList :: [Linearization] -> Encoding #
Exception Linearization Source #
Instance details Defined in Network.IPFS.Error Methods toException :: Linearization -> SomeException # fromException :: SomeException -> Maybe Linearization # displayException :: Linearization -> String #
Display Linearization Source #
Instance details Defined in Network.IPFS.Error Methods display :: Linearization -> Utf8Builder # textDisplay :: Linearization -> Text #
type Rep Linearization Source #
Instance details Defined in Network.IPFS.Error type Rep Linearization = D1 (MetaData "Linearization" "Network.IPFS.Error" "ipfs-1.0.1-1bnI2LaLNRVEx6nrkfb5Av" True) (C1 (MetaCons "NonLinear" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SparseTree)))

linearize :: SparseTree -> Either Linearization Path Source #

cIDs :: (Monoid (f CID), Applicative f) => SparseTree -> f CID Source #

Get all CIDs from a SparseTree (all levels)